From d8432375125427dbde2912f868ab0ef3ec3e29c0 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Sat, 6 Jul 2013 10:16:59 -0400 Subject: [PATCH] Update DrDr documentation with the correct command. --- pkgs/plt-services/meta/drdr/render.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pkgs/plt-services/meta/drdr/render.rkt b/pkgs/plt-services/meta/drdr/render.rkt index 2b8daf39b3..a275826195 100644 --- a/pkgs/plt-services/meta/drdr/render.rkt +++ b/pkgs/plt-services/meta/drdr/render.rkt @@ -631,7 +631,7 @@ @h1{How is the push "tested"?} @p{Each file's @code{@,PROP:command-line} property is consulted. If it is the empty string, the file is ignored. If it is a string, then a single @code{~s} is replaced with the file's path, @code{racket}, @code{mzc}, @code{raco} with their path (for the current push), and @code{gracket} and @code{gracket-text} with @code{gracket}'s path (for the current push); then the resulting command-line is executed. (Currently no other executables are allowed, so you can't @code{rm -fr /}.) - If there is no property value, the default @code{racket -qt ~s} is used if the file's suffix is @code{.rkt}, @code{.ss}, @code{.scm}, or @code{.scrbl} and @code{racket -f ~s} is used if the file's suffix is @code{.rktl}.} + If there is no property value, the default @code{raco test ~s} is used if the file's suffix is @code{.rkt}, @code{.ss}, @code{.scm}, @code{.sls}, or @code{.scrbl} and @code{racket -f ~s} is used if the file's suffix is @code{.rktl}.} @p{The command-line is always executed with a fresh empty current directory which is removed after the run. But all the files share the same home directory and X server, which are both removed after each push's testing is complete.}