--- a/build.xml +++ b/build.xml @@ -20,26 +20,6 @@ - - - - - - - - - - - - - - - - - - - - ${changed}${gitversion} @@ -76,10 +56,6 @@ - - --- a/src/java/java_cup/version.java +++ b/src/java/java_cup/version.java @@ -30,7 +30,7 @@ public class version { /*. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .*/ /** The update letter. */ - public static final String update = "b beta 20140226"; + public static final String update = "b beta @GIT_DATE@"; /*. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .*/ @@ -40,7 +40,7 @@ public class version { /*. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .*/ /** Full title of the system */ - public static final String title_str = "CUP " + "v0.11b 20160615 (GIT 3d0ae71)"; + public static final String title_str = "CUP " + "v0.11b @GIT_DATE@ (GIT @GIT_HASH@)"; /*. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .*/