From 19951ecc716995546f4b2474fd1f2f93083f88d8 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20Gr=C3=B6ber?= <dxld@darkboxed.org>
Date: Fri, 3 Oct 2014 21:33:01 +0200
Subject: [PATCH] bump.sh: warn on when VERSION doesn't have a 'v' prefix

---
 scripts/bump.sh | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/scripts/bump.sh b/scripts/bump.sh
index 5c28821..a489cea 100755
--- a/scripts/bump.sh
+++ b/scripts/bump.sh
@@ -7,6 +7,11 @@ fi
 
 VERSION=$1
 
+if ! echo $VERSION | grep "^v"; then
+    echo "invalid version";
+    exit 1
+fi
+
 cd $(dirname $0)/..
 
 sed -i 's/(defconst ghc-version ".*")/(defconst ghc-version "'"$VERSION"'")/' \