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.)
This commit is contained in:
Eli Barzilay 2011-06-14 13:02:23 -04:00
parent 80f0d57cdd
commit 03a5468e59

View File

@ -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" *)