From 073ad48b32f0748bd083033372cebf182e0ec498 Mon Sep 17 00:00:00 2001
From: sewardj <unknown>
Date: Thu, 27 Apr 2000 16:26:56 +0000
Subject: [PATCH] [project @ 2000-04-27 16:26:56 by sewardj] Add CMODE to
 switch conveniently between combined and standalone testing.

---
 ghc/interpreter/runnofib | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/ghc/interpreter/runnofib b/ghc/interpreter/runnofib
index bc2f36bf9ba5..f1f5d5425541 100644
--- a/ghc/interpreter/runnofib
+++ b/ghc/interpreter/runnofib
@@ -1,7 +1,7 @@
 #!/bin/bash
 
 TROOT=/home/v-julsew/Feb24
-
+CMODE=-c
 STGHUGSFLAGS=-P$TROOT/fpt/ghc/interpreter/lib
 NROOT=$TROOT/fpt/nofib
 HUGZ=$TROOT/fpt/ghc/interpreter
@@ -19,20 +19,20 @@ fi
 
 if [ -f $NROOT/$1/$2/$2.stdin ]
 then 
-echo "$HUGZ/hugs -Q -c -P$NROOT/$1/$2 Main -- $3 $4 $5 $6 $7 $8 $9"
+echo "$HUGZ/hugs -Q $CMODE -P$NROOT/$1/$2 Main -- $3 $4 $5 $6 $7 $8 $9"
 echo "     < $NROOT/$1/$2/$2.stdin 2> /dev/null"
 echo "     > $TMPFILE"
 else
-echo "$HUGZ/hugs -Q -c -P$NROOT/$1/$2 Main -- $3 $4 $5 $6 $7 $8 $9"
+echo "$HUGZ/hugs -Q $CMODE -P$NROOT/$1/$2 Main -- $3 $4 $5 $6 $7 $8 $9"
 echo "     < /dev/null 2> /dev/null"
 echo "     > $TMPFILE"
 fi
 
 if [ -f $NROOT/$1/$2/$2.stdin ]
 then 
-$HUGZ/hugs -Q -c -P$NROOT/$1/$2 Main -- $3 $4 $5 $6 $7 $8 $9 < $NROOT/$1/$2/$2.stdin 2> /dev/null > $TMPFILE
+$HUGZ/hugs -Q $CMODE -P$NROOT/$1/$2 Main -- $3 $4 $5 $6 $7 $8 $9 < $NROOT/$1/$2/$2.stdin 2> /dev/null > $TMPFILE
 else
-$HUGZ/hugs -Q -c -P$NROOT/$1/$2 Main -- $3 $4 $5 $6 $7 $8 $9 < /dev/null  2> /dev/null > $TMPFILE
+$HUGZ/hugs -Q $CMODE -P$NROOT/$1/$2 Main -- $3 $4 $5 $6 $7 $8 $9 < /dev/null  2> /dev/null > $TMPFILE
 fi
 
 if [ $? -ne 0 ]; then
-- 
GitLab