From 84bc1535b7ece7ce413c46b7303b57482391105a Mon Sep 17 00:00:00 2001 From: rschoene <rene.schoene@tu-dresden.de> Date: Thu, 10 Mar 2022 17:50:05 +0100 Subject: [PATCH] more polishing - use updated gradle plugin for java8 --- build.gradle | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/build.gradle b/build.gradle index dfa00a5..48f1ff4 100644 --- a/build.gradle +++ b/build.gradle @@ -6,7 +6,7 @@ buildscript { } } dependencies { - classpath 'org.jastadd.preprocessor:testing:0.2.13-30' + classpath 'org.jastadd.preprocessor:testing:0.2.14-32' } } @@ -159,7 +159,7 @@ jastadd { parser.genDir = 'src/gen/java/org/jastadd/relast/parser' // default options are: ['--rewrite=cnta', '--safeLazy', '--visitCheck=false', '--cacheCycle=false'] - extraJastaddOptions = ['--lineColumnNumbers', '--visitCheck=true'] + extraJastAddOptions = ['--lineColumnNumbers', '--visitCheck=true'] } // publish gitlab project -- GitLab