diff options
Diffstat (limited to 'third_party/nix/mk/clean.mk')
-rw-r--r-- | third_party/nix/mk/clean.mk | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/third_party/nix/mk/clean.mk b/third_party/nix/mk/clean.mk new file mode 100644 index 000000000000..ce9afb3b0db7 --- /dev/null +++ b/third_party/nix/mk/clean.mk @@ -0,0 +1,11 @@ +clean-files := + +clean: + $(suppress) rm -fv -- $(clean-files) + +dryclean: + @for i in $(clean-files); do if [ -e $$i ]; then echo $$i; fi; done | sort + +print-top-help += \ + echo " clean: Delete generated files"; \ + echo " dryclean: Show what files would be deleted by 'make clean'"; |