Merge branch 'GAMA_1.8.2' of https://github.com/gama-platform/gama in…

…to GAMA_1.8.2
gama-platform · May 5, 2022 · e0447c5 · e0447c5
2 parents d581b4e + f178a60
commit e0447c5
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 14 deletions.
diff --git a/travis/jdk/linux/gama-headless.sh b/travis/jdk/linux/gama-headless.sh
@@ -1,11 +1,4 @@
 #!/bin/bash
-
-# Check if good Java version before everything
-if [[ "$(java -version 2>&1 | head -n 1 | cut -d "\"" -f 2 | cut -d "." -f 1)" != "17" ]]; then
-  echo "You should use Java 17 to run GAMA"
-  exit 1
-fi
-
 memory=4096m
 
 for arg do

diff --git a/travis/jdk/mac/gama-headless.sh b/travis/jdk/mac/gama-headless.sh
@@ -1,11 +1,4 @@
 #!/bin/bash
-
-# Check if good Java version before everything
-if [[ "$(java -version 2>&1 | head -n 1 | cut -d "\"" -f 2 | cut -d "." -f 1)" != "17" ]]; then
-  echo "You should use Java 17 to run GAMA"
-  exit 1
-fi
-
 memory=4096m
 
 for arg do