From 393d870e2b6cc06217fcd7ca9bb1d09bba6b4ab4 Mon Sep 17 00:00:00 2001
From: rschoene <rene.schoene@tu-dresden.de>
Date: Fri, 10 Jan 2020 17:01:21 +0100
Subject: [PATCH] Use different filename (avoid clash with JastAdd itself)
---
build.gradle | 4 ++--
src/main/resources/.gitignore | 2 +-
2 files changed, 3 insertions(+), 3 deletions(-)
diff --git a/build.gradle b/build.gradle
index e5b7183..d705e2e 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 2e45811..e4a21f4 100644
--- a/src/main/resources/.gitignore
+++ b/src/main/resources/.gitignore
@@ -1 +1 @@
-Version.properties
+RelASTVersion.properties
--
GitLab