Fixing a few stupid problems
This commit is contained in:
parent
78ccf5393c
commit
ff65a2ec17
|
@ -1,2 +1,2 @@
|
|||
#!/bin/bash
|
||||
rsync -avz . plt-drdr:/opt/svn/drdr/ --exclude=.svn
|
||||
rsync -avz . plt-drdr:/opt/svn/drdr/ --exclude=compiled --delete --exclude=data
|
||||
|
|
|
@ -21,7 +21,7 @@ run_loop () { # <basename> <kill?>
|
|||
echo "$1: compiling"
|
||||
"$PLTROOT/bin/raco" make "$1.rkt"
|
||||
echo "$1: running"
|
||||
"$MZ" -t "$1.rkt" 2>&1 >> "$LOGS/$1.log" &
|
||||
"$R" -t "$1.rkt" 2>&1 >> "$LOGS/$1.log" &
|
||||
echo "$!" > "$LOGS/$1.pid"
|
||||
wait "$!"
|
||||
echo "$1: died"
|
||||
|
|
Loading…
Reference in New Issue
Block a user