4 WEBSTONEROOT
=`pwd` ; export WEBSTONEROOT
5 [ -z "$EDITOR" ] && EDITOR
="vi"
16 if (sh bin
/gui-configure
)
21 echo "Some problems were found."
22 echo "Press RETURN to continue, or CTRL-C to abort."
25 if (cd src
; .
/configure
; make install)
29 echo "Press RETURN to continue"
33 echo "WebStone make complete."
34 echo "Type './webstone -genfiles' to create the fileset."
38 echo "WebStone make FAILED"
39 echo "Consult the file doc/FAQ-webstone.html for porting hints."
55 echo "If no errors occurred, type './webstone' to run the benchmark."
60 .
/runbench
> /dev
/null
2>&1 &
63 LATEST
=$WEBSTONEROOT/bin
/runs
/`ls -1 $WEBSTONEROOT/bin/runs | tail -1`/run
67 bin
/wscollect.pl
$2 bin
/runs
71 $WEBSTONEROOT/webstone
-nogui