diff --git a/bin/create-java-perf-map.sh b/bin/create-java-perf-map.sh index f5806b6..6e9abb0 100755 --- a/bin/create-java-perf-map.sh +++ b/bin/create-java-perf-map.sh @@ -34,6 +34,7 @@ if [ -z "$JAVA_HOME" ]; then fi fi [ -d "$JAVA_HOME" ] || (echo "JAVA_HOME directory at '$JAVA_HOME' does not exist." && false) +[ -f "$JAVA_HOME/lib/tools.jar" ] || (echo "'tools.jar' does not present in '$JAVA_HOME/lib'." && false) if [[ "$LINUX" == "1" ]]; then