diff --git a/build.gradle b/build.gradle index e5b71839cf2209bbadacca3449bbbd7f5032f160..d705e2ebf584482f693317c312108bd48a8d895b 100644 --- a/build.gradle +++ b/build.gradle @@ -110,12 +110,12 @@ jastadd { jastaddOptions = ["--lineColumnNumbers", "--safeLazy", "--visitCheck=true", "--rewrite=cnta", "--cache=all"] } -def versionFile = 'src/main/resources/Version.properties' +def versionFile = 'src/main/resources/RelASTVersion.properties' task updateVersion { /* version string handling adapted from https://bitbucket.org/extendj/extendj/src/master/build.gradle written by Jesper Öqvist <jesper.oqvist@cs.lth.se> */ group 'build' - description 'Updates the version file Version.properties' + description 'Updates the version file for RelAST' doLast { def oldProps = new Properties() diff --git a/src/main/resources/.gitignore b/src/main/resources/.gitignore index 2e45811b629e2b0ae1a445398b44ba403ecf4b92..e4a21f4a3975000dd59369f1430ec3e931b4e3e3 100644 --- a/src/main/resources/.gitignore +++ b/src/main/resources/.gitignore @@ -1 +1 @@ -Version.properties +RelASTVersion.properties