diff options
Diffstat (limited to 'third_party/nix/mk/clean.mk')
| -rw-r--r-- | third_party/nix/mk/clean.mk | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/third_party/nix/mk/clean.mk b/third_party/nix/mk/clean.mk deleted file mode 100644 index ce9afb3b0d..0000000000 --- a/third_party/nix/mk/clean.mk +++ /dev/null @@ -1,11 +0,0 @@ -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'"; |