diff --git a/idris.cabal b/idris.cabal index 695718cfd3..cce816ef9e 100644 --- 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 index 2a19cf3d2c..d538520cf5 100755 --- 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