From 62ff3ab52217dffbd615c71523799e590da50e42 Mon Sep 17 00:00:00 2001 From: sewardj <unknown> Date: Mon, 11 Oct 1999 12:16:16 +0000 Subject: [PATCH] [project @ 1999-10-11 12:16:16 by sewardj] Minor library handling mods to make nofib work again. --- ghc/interpreter/runallnofib | 2 +- ghc/interpreter/runnofib | 10 +++++----- 2 files changed, 6 insertions(+), 6 deletions(-) diff --git a/ghc/interpreter/runallnofib b/ghc/interpreter/runallnofib index 754e30a31889..38ea3bfd6be6 100644 --- a/ghc/interpreter/runallnofib +++ b/ghc/interpreter/runallnofib @@ -5,7 +5,7 @@ echo "runallnofib: Can't cd to nofibtmp" exit fi -TROOT=/home/v-julsew/Mar09 +TROOT=/home/v-julsew/Oct11 NROOT=$TROOT/fpO/nofib cd nofibtmp diff --git a/ghc/interpreter/runnofib b/ghc/interpreter/runnofib index 7fe123f6ae57..316770240571 100644 --- a/ghc/interpreter/runnofib +++ b/ghc/interpreter/runnofib @@ -1,6 +1,6 @@ #!/bin/bash -TROOT=/home/v-julsew/Mar09 +TROOT=/home/v-julsew/Oct11 STGHUGSFLAGS=-P$TROOT/fpO/ghc/interpreter/lib NROOT=$TROOT/fpO/nofib @@ -19,20 +19,20 @@ fi if [ -f $NROOT/$1/$2/$2.stdin ] then -echo "$HUGZ/hugs +Q $NROOT/$1/$2/Main*hs -- $3 $4 $5 $6 $7 $8 $9" +echo "$HUGZ/hugs +Q -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 $NROOT/$1/$2/Main*hs -- $3 $4 $5 $6 $7 $8 $9" +echo "$HUGZ/hugs +Q -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 $NROOT/$1/$2/Main*hs -- $3 $4 $5 $6 $7 $8 $9 < $NROOT/$1/$2/$2.stdin 2> /dev/null > $TMPFILE +$HUGZ/hugs +Q -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 $NROOT/$1/$2/Main*hs -- $3 $4 $5 $6 $7 $8 $9 < /dev/null 2> /dev/null > $TMPFILE +$HUGZ/hugs +Q -P$NROOT/$1/$2 Main -- $3 $4 $5 $6 $7 $8 $9 < /dev/null 2> /dev/null > $TMPFILE fi if [ $? -ne 0 ]; then -- GitLab