diff options
author | Vincent Ambo <tazjin@google.com> | 2020-05-17T15·43+0100 |
---|---|---|
committer | Vincent Ambo <tazjin@google.com> | 2020-05-17T15·43+0100 |
commit | 40395860c721165f0cc36dfd15b06bc1ea8590bc (patch) | |
tree | 0d335c4964d04a84c7827c7b05b1e1116b3b6524 /third_party/nix/mk/clean.mk | |
parent | 0f2cf531f705d370321843e5ba9135b2ebdb5d19 (diff) |
chore(3p/nix): Remove old build system and other miscellanies r/741
There are still remnants of the old build system (for example, the build derivations are not yet updated at all), but we'll get there.
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 ce9afb3b0db7..000000000000 --- 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'"; |