Switch tcsh(!) and bash scripts to use /bin/sh.

(Satisfy some 3rd-party packaging linters.)
(cherry picked from commit 69464bba91)
This commit is contained in:
Eli Barzilay 2011-07-14 12:04:38 -04:00
parent f5923dd748
commit 4b3c7d0aec
4 changed files with 37 additions and 48 deletions

View File

@ -1,43 +1,30 @@
#!/bin/tcsh
#!/bin/sh
gracket bad-draw.rkt
echo "done:--- bad-draw.rkt ---" echo ""
racket batch-io.rkt
echo "done:--- batch-io.rkt ---" echo ""
gracket clause-once.rkt
echo "done:--- clause-once.rkt ---" echo ""
gracket full-scene-visible.rkt
echo "done:--- full-scene-visible.rkt ---" echo ""
gracket image-too-large.rkt
echo "done:--- image-too-large.rkt ---" echo ""
gracket image-equality-performance-htdp.rkt
echo "done:--- image-equality-performance-htdp.rkt ---" echo ""
gracket image-equality-performance.rkt
echo "done:--- image-equality-performance.rkt ---" echo ""
gracket mouse-evt.rkt
echo "done:--- mouse-evt.rkt ---" echo ""
gracket on-tick-defined.rkt
echo "done:--- on-tick-defined.rkt ---" echo ""
gracket perform-robby.rkt
echo "done:--- perform-robby.rkt ---" echo ""
gracket profile-robby.rkt
echo "done:--- profile-robby.rkt ---" echo ""
gracket release.rkt
echo "done:--- release.rkt ---" echo ""
gracket stop.rkt
echo "done:--- stop.rkt ---" echo ""
gracket test-image.rkt
echo "done:--- test-image.rkt ---" echo ""
gracket ufo-rename.rkt
echo "done:--- ufo-rename.rkt ---" echo ""
gracket server-rename.rkt
echo "done:--- server-rename.rkt ---" echo ""
gracket world0-stops.rkt
echo "done:--- world0-stops.rkt ---" echo ""
gracket record.rkt
echo "done:--- record.rkt ---" echo ""
gracket record-stop-when.rkt
echo "done:--- record-stop-when.rkt ---" echo ""
run() {
exe="gracket"
if [ "x$1" = "x-t" ]; then exe="racket"; fi
"$exe" "$1"
echo "done:--- $1 ---"
echo ""
}
gracket stop-when-crash.rkt
echo "done:--- stop-when-crash.rkt ---" echo ""
run bad-draw.rkt
run -t batch-io.rkt
run clause-once.rkt
run full-scene-visible.rkt
run image-too-large.rkt
run image-equality-performance-htdp.rkt
run image-equality-performance.rkt
run mouse-evt.rkt
run on-tick-defined.rkt
run perform-robby.rkt
run profile-robby.rkt
run release.rkt
run stop.rkt
run test-image.rkt
run ufo-rename.rkt
run server-rename.rkt
run world0-stops.rkt
run record.rkt
run record-stop-when.rkt
run stop-when-crash.rkt

View File

@ -1,4 +1,4 @@
#!/bin/tcsh
#!/bin/sh
mred server.ss &
mred chatter.ss -e"(run* 'go)" &
gracket server.rkt &
gracket chatter.rkt -e"(run* 'go)" &

View File

@ -1,2 +1,3 @@
#!/bin/bash
#!/bin/sh
rsync -avz . drdr:/opt/svn/drdr/ --exclude=compiled --delete --exclude=data

View File

@ -1,4 +1,5 @@
#!/bin/bash
#!/bin/sh
export PLTSTDERR="info"
PLTROOT="/opt/plt/plt"
LOGS="/opt/plt/logs"
@ -19,7 +20,7 @@ kill_all() {
run_loop () { # <basename> <kill?>
while true; do
if [[ "x$2" = "xyes" ]]; then
if [ "x$2" = "xyes" ]; then
echo "clearing unattached shm regions"
ipcs -ma | awk '0 == $6 {print $2}' | xargs -n 1 ipcrm -m
fi
@ -31,7 +32,7 @@ run_loop () { # <basename> <kill?>
wait "$!"
echo "$1: died"
rm "$LOGS/$1.pid"
if [[ "x$2" = "xyes" ]]; then
if [ "x$2" = "xyes" ]; then
echo "killing processes"
kill_all
fi