From aa10799e15c3aa5a00f6d598cbf69bb9640d8f9f Mon Sep 17 00:00:00 2001
From: Peter Eckersley <pde@eff.org>
Date: Thu, 19 Nov 2015 13:36:33 -0800
Subject: [PATCH] Add a sub-day digit to the datestamp, just in case...

---
 tools/dev-release.sh | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/tools/dev-release.sh b/tools/dev-release.sh
index f66ce345c..3b1e72900 100755
--- a/tools/dev-release.sh
+++ b/tools/dev-release.sh
@@ -18,13 +18,11 @@ if [ "$1" = "--production" ] ; then
     if ! echo "$version" | grep -q -e '[0-9]\+.[0-9]\+.[0-9]\+' ; then
         echo "Version doesn't look like 1.2.3"
     fi
-    exit 0
 else
     # XXX replace 0.0.0 with the last-released-version
-    version="$version.dev$(date +%Y%m%d)"
+    version="$version.dev$(date +%Y%m%d)1"
     DEV_RELEASE_BRANCH="dev-release"
     echo Releasing developer version "$version"...
-    exit 0
 fi
 
 # TODO: create a real release key instead of using Kuba's personal one