From ae55d5afb66e2952f12c3243084b42081faf9b98 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Fri, 19 Aug 2011 14:25:05 -0400 Subject: [PATCH] Mark place-chan-rand as random for DrDr. --- collects/meta/props | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/meta/props b/collects/meta/props index 02d83115fc..165de3bb4d 100755 --- a/collects/meta/props +++ b/collects/meta/props @@ -1827,7 +1827,7 @@ path/s is either such a string or a list of them. "collects/tests/racket/pathlib.rktl" drdr:command-line (racket "-f" *) "collects/tests/racket/pconvert.rktl" drdr:command-line #f "collects/tests/racket/place-chan-rand-help.rkt" responsible (tewk) -"collects/tests/racket/place-chan-rand.rkt" responsible (tewk) +"collects/tests/racket/place-chan-rand.rkt" responsible (tewk) drdr:random #t "collects/tests/racket/place-channel.rkt" responsible (tewk) drdr:command-line (racket "-tm" *) drdr:timeout 300 "collects/tests/racket/place.rktl" responsible (tewk) drdr:command-line (racket "-f" *) "collects/tests/racket/port.rktl" drdr:command-line #f