diff --git a/collects/meta/drdr/copy.sh b/collects/meta/drdr/copy.sh index d5737d55ff..d98d3b3f21 100755 --- a/collects/meta/drdr/copy.sh +++ b/collects/meta/drdr/copy.sh @@ -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 diff --git a/collects/meta/drdr/good-init.sh b/collects/meta/drdr/good-init.sh index ccf0314e68..f8905cde13 100755 --- a/collects/meta/drdr/good-init.sh +++ b/collects/meta/drdr/good-init.sh @@ -21,7 +21,7 @@ run_loop () { # 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" diff --git a/collects/meta/drdr/static/render.css.rkt b/collects/meta/drdr/static/render.css similarity index 100% rename from collects/meta/drdr/static/render.css.rkt rename to collects/meta/drdr/static/render.css