diff options
-rw-r--r-- | mk/clean.mk | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/mk/clean.mk b/mk/clean.mk index 3287ac873239..703e32e2dd94 100644 --- a/mk/clean.mk +++ b/mk/clean.mk @@ -1,7 +1,7 @@ clean_files := clean: - rm -fv $(clean_files) + $(QUIET) rm -fv -- $(clean_files) dryclean: - @echo $(clean_files) + @for i in $(clean_files); do if [ -e $$i ]; then echo $$i; fi; done |