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.orgHarald Welte has submitted this change and it was merged. Change subject: deps/Makefile: Separate 'distclean' from 'clean' ...................................................................... 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(-) Approvals: Harald Welte: Looks good to me, approved Jenkins Builder: Verified 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: merged Gerrit-Change-Id: I5de68644b397ff7fbca0595a8900b41508d59bde Gerrit-PatchSet: 1 Gerrit-Project: osmo-ttcn3-hacks Gerrit-Branch: master Gerrit-Owner: Harald Welte <laforge at gnumonks.org> Gerrit-Reviewer: Harald Welte <laforge at gnumonks.org> Gerrit-Reviewer: Jenkins Builder