From a4898b6af9052e8170097bf6de1ae63d28c778f6 Mon Sep 17 00:00:00 2001 From: Iori Yoneji Date: Thu, 14 Jun 2018 18:49:13 +0900 Subject: [PATCH] emit error message when tools.jar is missing https://github.com/jvm-profiling-tools/perf-map-agent/issues/37 --- bin/create-java-perf-map.sh | 1 + 1 file changed, 1 insertion(+) 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