From b0844c5e747b8e241be84c2480d3fbf2033e829c Mon Sep 17 00:00:00 2001 From: Carsten Dominik Date: Fri, 10 Dec 2010 18:58:39 +0100 Subject: [PATCH] Fix make file to get release numbers safer --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index d4739042c..a0fb91ba9 100644 --- a/Makefile +++ b/Makefile @@ -316,7 +316,7 @@ release: git push -f origin maint git checkout master git merge -s ours maint - UTILITIES/set-version.pl -o $(TAG) + UTILITIES/set-version.pl -a $(TAG) git commit -a -m "Update website to show $(TAG) as current release" git push make updateweb