diff --git a/tools/demobench/package/macosx/DemoBench-post-image.sh b/tools/demobench/package/macosx/DemoBench-post-image.sh new file mode 100644 index 0000000000..8c96e63768 --- /dev/null +++ b/tools/demobench/package/macosx/DemoBench-post-image.sh @@ -0,0 +1,5 @@ +if [ -z "$JAVA_HOME" ]; then + echo "Please set JAVA_HOME correctly." +else + cp $JAVA_HOME/jre/bin/java ./DemoBench/runtime/bin +fi