From 03a5468e598ea1e4f6f4aa75e475b45aa344eb32 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Tue, 14 Jun 2011 13:02:23 -0400 Subject: [PATCH] Disable drdr runs on `meta/web'. The problem is that it spits out a warning message on stderr whenever it can't find a git repository to extract release announcements (from annotated tags). Resolving this will require some way to (a) tell drdr to ignore such output, (b) make it run the code with a $GIT_DIR environment variable set to the git tree, or (c) make it set some environment variable so the web build will avoid such messages. (I prefer the first most, and the last least.) --- collects/meta/props | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/meta/props b/collects/meta/props index 7be5d355bb..1acf4683ca 100755 --- a/collects/meta/props +++ b/collects/meta/props @@ -999,7 +999,7 @@ path/s is either such a string or a list of them. "collects/meta/contrib/completion/racket-completion.bash" responsible (samth sstrickl) drdr:command-line #f "collects/meta/drdr" responsible (jay) drdr:command-line #f "collects/meta/drdr2" responsible (jay) drdr:command-line #f -"collects/meta/web/build.rkt" drdr:command-line (racket "-t" * "--" "-o" "build" "-f" "-l") +"collects/meta/web/build.rkt" drdr:command-line #f "collects/mred" responsible (mflatt) "collects/mred/edit-main.rkt" drdr:command-line (mzc *) "collects/mred/edit.rkt" drdr:command-line (gracket-text "-t" *)