diff options
| author | Stefan Bodewig <bodewig@apache.org> | 2019-06-13 12:01:23 +0200 |
|---|---|---|
| committer | Stefan Bodewig <bodewig@apache.org> | 2019-06-13 12:01:23 +0200 |
| commit | c457e6dfd44e708afd34cdc5032b3f8e06a1afee (patch) | |
| tree | 9611773fcd822ddef8231f249d523fbc83b567ca /src/script | |
| parent | 0b1690a4f50e363fdbe4a474e24d0a7ac9e82d67 (diff) | |
| download | ant-c457e6dfd44e708afd34cdc5032b3f8e06a1afee.tar.gz | |
improve error message if Java cannot be found
Diffstat (limited to 'src/script')
| -rw-r--r-- | src/script/ant | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/script/ant b/src/script/ant index a15026b9b..20951f4bc 100644 --- a/src/script/ant +++ b/src/script/ant @@ -193,8 +193,10 @@ if [ -z "$JAVACMD" ]; then fi if [ ! -x "$JAVACMD" ]; then - echo "Error: JAVA_HOME is not defined correctly." - echo " We cannot execute $JAVACMD" + echo "We cannot run Java, please ensure you have Java installed." + echo " We have tried to execute $JAVACMD but failed." + echo "If you have installed Java in a unusual place you can set JAVA_HOME" + echo "to the directory containing the Java installation." exit 1 fi |