diff options
author | nobody <nobody@ae88bc3d-4319-0410-8dbf-d08b4c9d3795> | 2001-07-01 16:18:56 +0000 |
---|---|---|
committer | nobody <nobody@ae88bc3d-4319-0410-8dbf-d08b4c9d3795> | 2001-07-01 16:18:56 +0000 |
commit | 6803d545979635f9fc0fb817b1e0841e69a96472 (patch) | |
tree | 74eb2aa0844bc54028da8dc9704fb6eac45322c0 /apps/JAWS/clients/WebSTONE/webstone | |
parent | c0cc5f64b0e435e8603e6a47161d166e4140a49d (diff) | |
download | ATCD-TAO-1_1_18.tar.gz |
This commit was manufactured by cvs2svn to create tag 'TAO-1_1_18'.TAO-1_1_18
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 |