blob: 97a0ada11d08e2d65dc0e8f83ee10ca0eaf1b342 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
#!/usr/bin/env bash
# Determine the path to load libjvm.so from, either relative to the location of
# the java binary or to $JAVA_HOME, if set.
JAVA_BIN=$(readlink -f "$(which java)")
JAVA_HOME=${JAVA_HOME:-${JAVA_BIN%/bin/java}}
# The location of libjvm.so relative to the JDK differs between JDK <= 8 and 9+.
JVM_LD_LIBRARY_PATH="$JAVA_HOME/lib/server:$JAVA_HOME/lib/amd64/server"
LD_LIBRARY_PATH=${LD_LIBRARY_PATH:+$LD_LIBRARY_PATH:}$JVM_LD_LIBRARY_PATH \
"$(dirname "$0")/jazzer_driver" "$@"
|
