diff --git a/src/script/ant b/src/script/ant
index b45ce3b56..ef4093146 100644
--- a/src/script/ant
+++ b/src/script/ant
@@ -77,7 +77,7 @@ fi
 if [ ! -x "$JAVACMD" ] ; then
   echo "Error: JAVA_HOME is not defined correctly."
   echo "  We cannot execute $JAVACMD"
-  exit
+  exit 1
 fi
 
 if [ -n "$CLASSPATH" ] ; then