X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=validate;h=26b1fe11f0feeeb1ee0a016e1e6bffae4888f9be;hb=6686da2c412d2d7ca6e4b6dc2a7b3ee7bf1752c0;hp=375d2c17854765d4d23df484416eef5a71090df2;hpb=36091517e6b1d87b8dacd5168fcc464ac75f65bd;p=ghc-hetmet.git

diff --git a/validate b/validate
index 375d2c1..26b1fe1 100644
--- a/validate
+++ b/validate
@@ -135,13 +135,15 @@ so be careful!
 
 NOTE: If you have made changes that may cause failures not tested for by
 the minimal testing procedure, please do further testing as necessary.
+-------------------------------------------------------------------
 EOF
    fi
 else
     cat <<EOF
 Oops!  Looks like you have some unexpected test results or framework failures.
 Please fix them before pushing/sending patches.
+-------------------------------------------------------------------
 EOF
+    exit 1
 fi
-echo "-------------------------------------------------------------------"