Last change
on this file since 13831 was 13822, checked in by tbretz, 13 years ago |
Preliminary final version ;)
|
-
Property svn:executable
set to
*
|
File size:
595 bytes
|
Line | |
---|
1 | #!/bin/bash --login
|
---|
2 |
|
---|
3 |
|
---|
4 | CMD="$*"
|
---|
5 | PRG="$1"
|
---|
6 |
|
---|
7 | while [ true ]; do
|
---|
8 |
|
---|
9 | reset
|
---|
10 |
|
---|
11 | if [ -n "$RC" ]; then
|
---|
12 | echo LAST RETURN CODE=$RC
|
---|
13 | fi
|
---|
14 |
|
---|
15 | echo COMMAND=$CMD
|
---|
16 | echo
|
---|
17 |
|
---|
18 | if [ ! -x $PRG ]; then
|
---|
19 | echo $1 not available... waiting 5s.
|
---|
20 | sleep 5
|
---|
21 | continue
|
---|
22 | fi
|
---|
23 |
|
---|
24 | if [ -e compiling.lock ]; then
|
---|
25 | echo Compilation in progress... waiting 1s.
|
---|
26 | sleep 1
|
---|
27 | continue
|
---|
28 | fi
|
---|
29 |
|
---|
30 | $CMD
|
---|
31 | RC=$?
|
---|
32 |
|
---|
33 | echo RETURN CODE=$RC
|
---|
34 | echo
|
---|
35 |
|
---|
36 | # 134 (double corruption, abort())
|
---|
37 | # 139 (seg-fault)
|
---|
38 | # 255 (exception, exit(-1))
|
---|
39 |
|
---|
40 | if [ $RC == 0 -o $RC == 255 ]; then
|
---|
41 | exit
|
---|
42 | fi
|
---|
43 |
|
---|
44 | done
|
---|
45 |
|
---|
Note:
See
TracBrowser
for help on using the repository browser.