diff options
Diffstat (limited to 'deps')
-rw-r--r-- | deps/Makefile | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/deps/Makefile b/deps/Makefile index ccf2bdba..1d9a6e61 100644 --- a/deps/Makefile +++ b/deps/Makefile @@ -58,7 +58,11 @@ $(1)/update: $(1) (cd $(1) && git remote set-url origin $(2)/$(1) && git fetch && git checkout -f -B master origin/master) .PHONY: $(1)/clean -$(1)/clean: +$(1)/clean: $(1) + (cd $(1) && git checkout -f -B master && git reset --hard) + +.PHONY: $(1)/distclean +$(1)/distclean: @rm -rf $(1) endef |