From b510c361621d80c63f3016d4af424a8a800393a6 Mon Sep 17 00:00:00 2001 From: Mohamed Gaber Date: Sat, 18 Oct 2025 15:59:17 +0300 Subject: [PATCH] hotfix: headers mistakenly added to clean target - fix `make clean` deleting a number of headers when ENABLE_PYOSYS is set to 1 --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index f2784bfd8..9252e1e7a 100644 --- a/Makefile +++ b/Makefile @@ -1131,7 +1131,7 @@ docs: docs/prep clean: clean-py rm -rf share - rm -f $(OBJS) $(GENFILES) $(TARGETS) $(EXTRA_TARGETS) $(EXTRA_OBJS) $(PY_WRAP_INCLUDES) + rm -f $(OBJS) $(GENFILES) $(TARGETS) $(EXTRA_TARGETS) $(EXTRA_OBJS) rm -f kernel/version_*.o kernel/version_*.cc rm -f libs/*/*.d frontends/*/*.d passes/*/*.d backends/*/*.d kernel/*.d techlibs/*/*.d rm -rf tests/asicworld/*.out tests/asicworld/*.log