From ff65a2ec17adc5a77de7d08cfa171401609dd9e4 Mon Sep 17 00:00:00 2001
From: Jay McCarthy <jay@racket-lang.org>
Date: Wed, 10 Nov 2010 09:46:41 -0700
Subject: [PATCH] Fixing a few stupid problems

---
 collects/meta/drdr/copy.sh                               | 2 +-
 collects/meta/drdr/good-init.sh                          | 2 +-
 collects/meta/drdr/static/{render.css.rkt => render.css} | 0
 3 files changed, 2 insertions(+), 2 deletions(-)
 rename collects/meta/drdr/static/{render.css.rkt => render.css} (100%)

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 () { # <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"
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