2013-12-10 15:54:34 +01:00
|
|
|
clean_files :=
|
|
|
|
|
|
|
|
|
|
clean:
|
2014-01-10 22:31:38 +01:00
|
|
|
$(suppress) rm -fv -- $(clean_files)
|
2013-12-10 15:54:34 +01:00
|
|
|
|
|
|
|
|
dryclean:
|
2013-12-16 16:51:05 +01:00
|
|
|
@for i in $(clean_files); do if [ -e $$i ]; then echo $$i; fi; done | sort
|
2014-02-01 11:47:34 +01:00
|
|
|
|
|
|
|
|
print-top-help += \
|
|
|
|
|
echo " clean: Delete generated files"; \
|
|
|
|
|
echo " dryclean: Show what files would be deleted by 'make clean'";
|
