From: simonmar <unknown>
Date: Fri, 3 Nov 2000 11:29:00 +0000 (+0000)
Subject: [project @ 2000-11-03 11:29:00 by simonmar]
X-Git-Tag: Approximately_9120_patches~3438
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=834db1d9cbfdbc09b8dfb7bee91f94f65edd370c;p=ghc-hetmet.git

[project @ 2000-11-03 11:29:00 by simonmar]
don't generate heimdall.summary unless -heimdall is on.
---

diff --git a/glafp-utils/runstdtest/runstdtest.prl b/glafp-utils/runstdtest/runstdtest.prl
index b54cd04..049c875 100644
--- a/glafp-utils/runstdtest/runstdtest.prl
+++ b/glafp-utils/runstdtest/runstdtest.prl
@@ -239,7 +239,9 @@ else
 fi
 egrep -v '^ld\.so:.*has older revision than expected' < $TmpPrefix/runtest$$.2 > $TmpPrefix/runtest$$.2b
 mv -f $TmpPrefix/runtest$$.2b $TmpPrefix/runtest$$.2
-egrep '^=== HEIMDALL: ' < $TmpPrefix/runtest$$.2 > $HeimdallStats
+if [ "$Heimdall" = "1" ]; then
+  egrep '^=== HEIMDALL: ' < $TmpPrefix/runtest$$.2 > $HeimdallStats
+fi
 egrep -v '^=== HEIMDALL: ' < $TmpPrefix/runtest$$.2 > $TmpPrefix/runtest$$.2b
 mv -f $TmpPrefix/runtest$$.2b $TmpPrefix/runtest$$.2