From: Ian Lynagh <igloo@earth.li>
Date: Sun, 29 Jul 2007 13:18:09 +0000 (+0000)
Subject: Use "set -e" in validate, so "sh validate" still has it set
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=83331f7e23838262be61e8ec2d78abcffd1a077e

Use "set -e" in validate, so "sh validate" still has it set
---

diff --git a/validate b/validate
index 7949d62..42bb9b5 100644
--- a/validate
+++ b/validate
@@ -1,4 +1,6 @@
-#!/bin/sh -e
+#!/bin/sh
+
+set -e
 
 if [ -f mk/config.mk ]; then
    make distclean