Update version number to 0.9.11

tdidriksen · Feb 4, 2014 · b45f766 · b45f766
1 parent 524f27f
commit b45f766
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/idris.cabal b/idris.cabal
@@ -1,5 +1,5 @@
 Name:           idris
-Version:        0.9.10.1
+Version:        0.9.11
 License:        BSD3
 License-file:   LICENSE
 Author:         Edwin Brady

diff --git a/mkpkg.sh b/mkpkg.sh
@@ -1,12 +1,12 @@
 #!/bin/sh
 
+VERSION=$1
+
 echo "Building version-$VERSION\n\n"
 echo "Have you: set the release flag, checked the demos and the tutorial?"
 read $foo
 
-git tag version-$VERSION -a
-
-VERSION=$1
+git tag v$VERSION -a
 
 cabal sdist