diff --git a/release.sh b/release.sh index 88ce8b469..635c1a7cc 100755 --- a/release.sh +++ b/release.sh @@ -31,7 +31,7 @@ fi # Default build produces traditional war. Exit on failure. mvn clean package -if [[ "$?" -ne 0 ]] ; the +if [[ "$?" -ne 0 ]] ; then echo 'Aborting release due to build failure'; exit $rc fi # Build embedded Jetty distribution. Exit on failure