[PATCH] osmo-ttcn3-hacks[master]: deps/Makefile: Separate 'distclean' from 'clean'

This is merely a historical archive of years 2008-2021, before the migration to mailman3.

A maintained and still updated list archive can be found at https://lists.osmocom.org/hyperkitty/list/gerrit-log@lists.osmocom.org/.

Harald Welte gerrit-no-reply at lists.osmocom.org
Thu Feb 15 17:32:47 UTC 2018


Review at  https://gerrit.osmocom.org/6507

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
---
M deps/Makefile
1 file changed, 5 insertions(+), 1 deletion(-)


  git pull ssh://gerrit.osmocom.org:29418/osmo-ttcn3-hacks refs/changes/07/6507/1

diff --git a/deps/Makefile b/deps/Makefile
index ccf2bdb..1d9a6e6 100644
--- a/deps/Makefile
+++ b/deps/Makefile
@@ -58,7 +58,11 @@
 	(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
 

-- 
To view, visit https://gerrit.osmocom.org/6507
To unsubscribe, visit https://gerrit.osmocom.org/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: I5de68644b397ff7fbca0595a8900b41508d59bde
Gerrit-PatchSet: 1
Gerrit-Project: osmo-ttcn3-hacks
Gerrit-Branch: master
Gerrit-Owner: Harald Welte <laforge at gnumonks.org>



More information about the gerrit-log mailing list