From 37bb50b05739cd59447241010091e3d6a51e47e1 Mon Sep 17 00:00:00 2001 From: Gerwin Klein Date: Fri, 21 Sep 2018 15:35:15 +1000 Subject: [PATCH] manual -SNAPSHOT removal --- scripts/mk-release.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/mk-release.sh b/scripts/mk-release.sh index 9442e686c..ac2297da7 100755 --- a/scripts/mk-release.sh +++ b/scripts/mk-release.sh @@ -6,7 +6,7 @@ set -e # a hack for enabling ant builds outside the repo until we figure out something better CUP_URL="https://raw.githubusercontent.com/jflex-de/jflex/05632859c94c348dee7d243e4a36bd656c132e96/cup/cup/java-cup-11b.jar" -VERSION="1.7.0-SNAPSHOT" +VERSION="1.7.0" JFLEX_JAR="jflex-full-$VERSION.jar" BASEDIR="$(cd "$(dirname "$0")" && pwd -P)"/..