diff options
Diffstat (limited to 'vendor/makefile')
-rw-r--r-- | vendor/makefile | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/vendor/makefile b/vendor/makefile index ebf5787c8..966c3d080 100644 --- a/vendor/makefile +++ b/vendor/makefile @@ -50,6 +50,9 @@ current: .PHONY: clean veryclean all binary vendor clean: clean/current - clean/current: clean/subdirs rm -f current/makefile.auto current + +veryclean: veryclean/current +veryclean/current: veryclean/subdirs + rm -f current/makefile.auto current |