SCM Repository
[diderot] / trunk / rtest / scripts / run-one_sh.in |
Diff of /trunk/rtest/scripts/run-one_sh.in
Parent Directory
|
Revision Log
|
Patch
revision 1300, Thu Jun 9 21:11:47 2011 UTC | revision 1301, Thu Jun 9 23:58:40 2011 UTC | |
---|---|---|
# | Line 76 | Line 76 |
76 | echo "result is good ($result)" >> $REPORT | echo "result is good ($result)" >> $REPORT |
77 | echo "ok" >> $LOG | echo "ok" >> $LOG |
78 | echo "$RTEST is okay" | echo "$RTEST is okay" |
79 | rm -f $RTEST.c $RTEST.o $RTEST $RTEST.log mip.txt | rm -f $RTEST.c $RTEST.o $RTEST $RTEST.log $RTEST.txt |
80 | else | else |
81 | echo "result is bad ($result)" >> $REPORT | echo "result is bad ($result)" >> $REPORT |
82 | echo "$RTEST failed" | echo "$RTEST failed" |
|
root@smlnj-gforge.cs.uchicago.edu | ViewVC Help |
Powered by ViewVC 1.0.0 |