summaryrefslogtreecommitdiffstats
path: root/deps
diff options
context:
space:
mode:
authorHarald Welte <laforge@gnumonks.org>2018-02-15 18:27:10 +0100
committerHarald Welte <laforge@gnumonks.org>2018-02-15 18:32:28 +0100
commit4c294b6d46f868a340cd799737a7c931b74bf4fe (patch)
treed11fadf580ecf6194fc0350fa607ff1be6c0cc48 /deps
parent981be73b1c0f91a35634bacebf3a683e5bfd7182 (diff)
deps/Makefile: Separate 'distclean' from 'clean'
'distclean' removes the actual git clones, while 'clean' now simply ensures that there are no local changes between to index. Change-Id: I5de68644b397ff7fbca0595a8900b41508d59bde
Diffstat (limited to 'deps')
-rw-r--r--deps/Makefile6
1 files changed, 5 insertions, 1 deletions
diff --git a/deps/Makefile b/deps/Makefile
index ccf2bdb..1d9a6e6 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