diff options
author | Catalin Marinas <catalin.marinas@arm.com> | 2019-03-01 17:24:51 +0000 |
---|---|---|
committer | Catalin Marinas <catalin.marinas@arm.com> | 2019-03-01 17:24:51 +0000 |
commit | ffaaad7a6aea638c7c36c0ce4c7ae3ad7f1caf68 (patch) | |
tree | 35ffb999158c513cd36ab390c666647aef9c1623 | |
parent | 3192561de7c8f40a7f9dd5ad7740fbd9fa09ce8c (diff) | |
download | kernel-tla-ffaaad7a6aea638c7c36c0ce4c7ae3ad7f1caf68.tar.gz |
check.sh: Remove the java.activation module option
This is only necessary with slightly older version of TLA tools.
Signed-off-by: Catalin Marinas <catalin.marinas@arm.com>
-rwxr-xr-x | check.sh | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -4,8 +4,10 @@ set -e shopt -s expand_aliases export CLASSPATH=~/tla +# Uncomment if TLC causes an exception in javax.activation.DataSource +#export _JAVA_OPTIONS="--add-modules=java.activation" -alias tlc="java --add-modules=java.activation tlc2.TLC" +alias tlc="java tlc2.TLC" alias tla2sany="java tla2sany.SANY" alias pcal="java pcal.trans" alias tla2tex="java tla2tex.TLA" |