X-Git-Url: https://git.argeo.org/?a=blobdiff_plain;f=configure;h=da5dffbd145f01926ae75f61d4ec5b10c0a83dce;hb=d14c6a5277377f7da8b667a82cbac2eec88a5b72;hp=4587bf45ef4680ae1e675dbc2ae6e37e086e2814;hpb=9d7afbd488afb0c7e4e1cdc0e4282e0194a6d372;p=lgpl%2Fargeo-commons.git diff --git a/configure b/configure index 4587bf45e..da5dffbd1 100644 --- a/configure +++ b/configure @@ -21,6 +21,12 @@ exit 1 else +if [ -z "$JAVA_HOME" ] +then +echo "Environment variable JAVA_HOME must be set" +exit 1 +fi + # Create build directory, so that it can be used right away # and we check whether we have the rights mkdir -p $SDK_BUILD_BASE @@ -34,13 +40,14 @@ fi cat > "$SDK_MK" <