diff options
| author | Harald Welte <laforge@gnumonks.org> | 2018-02-15 18:27:10 +0100 |
|---|---|---|
| committer | Harald Welte <laforge@gnumonks.org> | 2018-02-15 18:32:28 +0100 |
| commit | 4c294b6d46f868a340cd799737a7c931b74bf4fe (patch) | |
| tree | d11fadf580ecf6194fc0350fa607ff1be6c0cc48 | |
| parent | 981be73b1c0f91a35634bacebf3a683e5bfd7182 (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
| -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 |