[[ Build ]] Fix tag pruning

livecodeali · livecodeali · commit 148afe776c52 · 2017-08-30T09:51:57.000+01:00
diff --git a/buildbot.mk b/buildbot.mk
@@ -182,9 +182,9 @@ dist-tools-commercial:
 # Ensure that the version for which we're trying to build installers
 # hasn't already been tagged.
 dist-tools-version-check:
-	@git tag -l | xargs git tag -d; \
-	@git fetch --tags; \
-	@if git rev-parse refs/tags/$(BUILD_SHORT_VERSION) \
+	@git tag -l | xargs git tag -d ;\
+	git fetch --tags ;\	
+	if git rev-parse refs/tags/$(BUILD_SHORT_VERSION) \
 	        >/dev/null 2>&1 ; then \
 	  echo; \
 	  echo "$(BUILD_SHORT_VERSION) has already been released."; \
