diff options
Diffstat (limited to 'apps/JAWS/clients/WebSTONE/webstone')
-rwxr-xr-x | apps/JAWS/clients/WebSTONE/webstone | 75 |
1 files changed, 0 insertions, 75 deletions
diff --git a/apps/JAWS/clients/WebSTONE/webstone b/apps/JAWS/clients/WebSTONE/webstone deleted file mode 100755 index 026f0d664ad..00000000000 --- a/apps/JAWS/clients/WebSTONE/webstone +++ /dev/null @@ -1,75 +0,0 @@ -#!/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 |