mirror of
https://github.com/mozilla/gecko-dev.git
synced 2024-12-15 11:13:29 +00:00
de88a69286
protocols underlying the Web.
17 lines
276 B
Plaintext
Executable File
17 lines
276 B
Plaintext
Executable File
:
|
|
stdout=zzz.out.$$
|
|
stderr=zzz.err.$$
|
|
start=$1
|
|
out=$2
|
|
shift
|
|
shift
|
|
echo $start > $stdout
|
|
echo $start > $stderr
|
|
echo about to invoke ./robot -s $start -o $out $*
|
|
./robot -s $start -o $out $* >> $stdout 2>> $stderr
|
|
echo robot returned $?
|
|
if test -f core
|
|
then
|
|
mv core core.$$
|
|
fi
|