[Update] Change version number to KeY 2.6.2

KeYProject · Apr 13, 2017 · e1e05b6 · e1e05b6
1 parent f9419ee
commit e1e05b6
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/key/scripts/jenkins/deployAll.sh b/key/scripts/jenkins/deployAll.sh
@@ -3,6 +3,6 @@ cd key/scripts
 export ANT_HOME=/opt/ant/
 export ANT_OPTS="-Xmx2048m -Xms512m"
 export PATH=$PATH:/home/hudson/key/bin/
-export KEY_VERSION="2.6.0"
+export KEY_VERSION="2.6.2"
 ant -logger org.apache.tools.ant.NoBannerLogger deployAll
 
diff --git a/key/scripts/jenkins/generateDoc.sh b/key/scripts/jenkins/generateDoc.sh
@@ -1,6 +1,6 @@
 #!/bin/sh -x
 # API Doc generation to come
-export KEY_VERSION="2.6.0"
+export KEY_VERSION="2.6.2"
 export ANT_HOME=/opt/ant/
 export ANT_OPTS="-Xmx2048m -Xms512m"
 export PATH=$PATH:/home/hudson/key/bin/

diff --git a/key/scripts/jenkins/runTests.sh b/key/scripts/jenkins/runTests.sh
@@ -1,5 +1,5 @@
 #!/bin/sh -x
-export KEY_VERSION="2.6.0"
+export KEY_VERSION="2.6.2"
 export ANT_HOME=/opt/ant/
 export ANT_OPTS="-Xmx2048m -Xms512m"
 export PATH=$PATH:/home/hudson/key/bin/