From e99bbaf88b3f495a78658a91a5230cb9347b4cd1 Mon Sep 17 00:00:00 2001 From: Casey Klein Date: Wed, 7 Apr 2010 20:03:58 +0000 Subject: [PATCH] Fixes DrDr property svn: r18754 --- collects/meta/props | 1 + 1 file changed, 1 insertion(+) diff --git a/collects/meta/props b/collects/meta/props index 99247a72c7..3035bad204 100755 --- a/collects/meta/props +++ b/collects/meta/props @@ -1053,6 +1053,7 @@ properties, intended to be used by meta tools. In these functions, `path' is a "collects/redex/tests/rg-test.ss" drdr "mzc $path" "collects/redex/tests/run-tests.ss" drdr ("mred-text $path --examples --no-bitmaps" 180) "collects/redex/tests/term-test.ss" drdr "mzc $path" +"collects/redex/tests/tl-test.ss" drdr "mzc $path" "collects/repos-time-stamp" responsible (eli) "collects/repos-time-stamp/time-stamp.ss" drdr "mred-text -t $path" "collects/rico/main.ss" drdr ""