Hi,<br><br>> @@ -99,7 +99,7 @@<br> > # necessary I/O redirection.<br> > #<br> > PWD=`pwd`<br>> -COMMAND="$PROGRAM $*"<br>> +COMMAND="$PWD/$PROGRAM $*"<br><br>This is incorrect when PROGRAM=/xxx/bin/lli<br>
<br><br> > if [ "$SYSTEM" = "Darwin" ]; then<br>  > COMMAND="${DIR}TimedExec.sh $ULIMIT $PWD $COMMAND"<br> > fi<br><br>