Update version number to 0.9.11
commitb45f766b27863f39ea5e191146c44517b7d911a1
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateTue 4 Feb 2014, 16:07 (13 years ago)
parent524f27f
idris.cabal+1−1
@@ -1,5 +1,5 @@
11Name: idris
2−Version: 0.9.10.1
2+Version: 0.9.11
33License: BSD3
44License-file: LICENSE
55Author: Edwin Brady
mkpkg.sh+3−3
@@ -1,12 +1,12 @@
11#!/bin/sh
22
3+VERSION=$1
4+
35echo "Building version-$VERSION\n\n"
46echo "Have you: set the release flag, checked the demos and the tutorial?"
57read $foo
68
7−git tag version-$VERSION -a
8−
9−VERSION=$1
9+git tag v$VERSION -a
1010
1111cabal sdist
1212