blob: 026f0d664adce214a8f144e5b1152411c836e756 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
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
|