diff --git a/Makefile b/Makefile index 33effdec1a9afd3b75e55f4f1e5652995521ee66..d8b39aea91810f9ce6d822c5a5f55a3dd02082aa 100644 --- a/Makefile +++ b/Makefile @@ -133,7 +133,12 @@ stamp/17: stamp/16 clone fixes/17-v0-45-1-maint cd 17.git && ../fixes/17-v0-45-1-maint touch $@ -stamp/99: stamp/17 clone +stamp/98: stamp/17 clone + ./clone $< $@ + cd 98.git && git branch -d origin + touch $@ + +stamp/99: stamp/98 clone ./clone $< $@ touch $@