diff --git a/package-demobench.sh b/package-demobench.sh new file mode 100755 index 0000000000..ac43c7955c --- /dev/null +++ b/package-demobench.sh @@ -0,0 +1,10 @@ +#!/bin/sh + +DIRNAME=$(dirname $0) + +if [ -z "$JAVA_HOME" ]; then + echo "Please set JAVA_HOME correctly" + exit 1 +fi + +exec $DIRNAME/gradlew -PpackageType=dmg javapackage