diff options
| author | Sven Gothel <[email protected]> | 2020-09-30 23:10:03 +0200 |
|---|---|---|
| committer | Sven Gothel <[email protected]> | 2020-09-30 23:10:03 +0200 |
| commit | f8528170287dbe1fcebb18e0ecea44f7b24e691e (patch) | |
| tree | 54d82088b1b8ad13e0fa827babc678b100e53b4a /scripts | |
| parent | b71f843a48ed52f3ec9b81b54ed45d8d633f5943 (diff) | |
run-java-scanner10.sh: Add uncommented check:jni and valgrind variants
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/run-java-scanner10.sh | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/scripts/run-java-scanner10.sh b/scripts/run-java-scanner10.sh index 4867238b..6fc3902b 100644 --- a/scripts/run-java-scanner10.sh +++ b/scripts/run-java-scanner10.sh @@ -26,4 +26,8 @@ echo COMMANDLINE $0 $* echo direct_bt_debug $direct_bt_debug echo direct_bt_verbose $direct_bt_verbose -java -cp lib/java/tinyb2.jar:bin/java/DBTScanner10.jar -Djava.library.path=`pwd`/lib DBTScanner10 $* +# JAVA_CMD="valgrind java -XX:CompileOnly=nothing -XX:UseSSE=0" +# JAVA_CMD="java -Xcheck:jni" +JAVA_CMD="java" + +$JAVA_CMD -cp lib/java/tinyb2.jar:bin/java/DBTScanner10.jar -Djava.library.path=`pwd`/lib DBTScanner10 $* |