From b8cfca720aaf1cf22e7423b362d5ec4666d311aa Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jesper=20=C3=96qvist?= <jesper.oqvist@cs.lth.se>
Date: Wed, 7 Nov 2018 13:06:00 +0100
Subject: [PATCH] Build script tweak
---
build.gradle | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/build.gradle b/build.gradle
index 0adba38..5b9e723 100644
--- a/build.gradle
+++ b/build.gradle
@@ -2,7 +2,7 @@ plugins {
id 'java'
id 'maven'
id 'groovy'
- id 'org.jastadd' version '1.13.1'
+ id 'org.jastadd' version '1.13.3'
}
if (!file('extendj/jastadd_modules').exists()) {
@@ -19,6 +19,8 @@ sourceSets {
java {
srcDir 'extendj/src/frontend'
srcDir 'extendj/java8/src'
+ // This exclude rule needed if the submodule is built.
+ exclude 'gen/**' // Exclude from extendj/java8/src
}
}
}
--
GitLab