diff --git a/library/Makefile.common b/library/Makefile.common index 96bdb983a..b0f66d136 100644 --- a/library/Makefile.common +++ b/library/Makefile.common @@ -22,4 +22,5 @@ all: $(OLEAN_FILES) $(DEP_FILES) .PHONY: all clean clean: - rm -f *.olean *.d + find . -type f -name "*.olean" -delete + find . -type f -name "*.d" -delete