diff options
| author | William R. Otte <wotte@dre.vanderbilt.edu> | 2008-03-04 14:51:23 +0000 |
|---|---|---|
| committer | William R. Otte <wotte@dre.vanderbilt.edu> | 2008-03-04 14:51:23 +0000 |
| commit | 99aa8c60282c7b8072eb35eb9ac815702f5bf586 (patch) | |
| tree | bda96bf8c3a4c2875a083d7b16720533c8ffeaf4 /ACE/apps/JAWS/clients/WebSTONE/webstone | |
| parent | c4078c377d74290ebe4e66da0b4975da91732376 (diff) | |
| download | ATCD-99aa8c60282c7b8072eb35eb9ac815702f5bf586.tar.gz | |
undoing accidental deletion
Diffstat (limited to 'ACE/apps/JAWS/clients/WebSTONE/webstone')
| -rwxr-xr-x | ACE/apps/JAWS/clients/WebSTONE/webstone | 75 |
1 files changed, 75 insertions, 0 deletions
diff --git a/ACE/apps/JAWS/clients/WebSTONE/webstone b/ACE/apps/JAWS/clients/WebSTONE/webstone new file mode 100755 index 00000000000..026f0d664ad --- /dev/null +++ b/ACE/apps/JAWS/clients/WebSTONE/webstone @@ -0,0 +1,75 @@ +#!/bin/sh +# +# +WEBSTONEROOT=`pwd` ; export WEBSTONEROOT +[ -z "$EDITOR" ] && EDITOR="vi" + +case $1 in + '-gui') + bin/webstone-gui.pl + ;; + '-help') + echo + more README.FIRST + ;; + '-setup') + if (sh bin/gui-configure) + then + : + else + echo + echo "Some problems were found." + echo "Press RETURN to continue, or CTRL-C to abort." + read junk + fi + if (cd src ; ./configure ; make install) + then + echo + echo + echo "Press RETURN to continue" + read junk + $EDITOR conf/testbed + echo + echo "WebStone make complete." + echo "Type './webstone -genfiles' to create the fileset." + echo + else + echo + echo "WebStone make FAILED" + echo "Consult the file doc/FAQ-webstone.html for porting hints." + echo + fi + ;; + '-kill') + cd bin + ./killbench + ;; + '-nogui') + cd bin + ./runbench + ;; + '-genfiles') + cd bin + ./genfiles + echo + echo "If no errors occurred, type './webstone' to run the benchmark." + echo + ;; + '-silent') + cd bin + ./runbench > /dev/null 2>&1 & + ;; + '-tail') + LATEST=$WEBSTONEROOT/bin/runs/`ls -1 $WEBSTONEROOT/bin/runs | tail -1`/run + tail -f $LATEST + ;; + '-results') + bin/wscollect.pl $2 bin/runs + ;; + + *) + $WEBSTONEROOT/webstone -nogui + ;; +esac + +# end |