From 4341ce3c20d107d535ca6a919a4fe4618652c9f4 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Tue, 10 Aug 2010 16:52:10 -0500 Subject: [PATCH] fixed props for syncheck --- collects/meta/props | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/collects/meta/props b/collects/meta/props index 61d3d8ad5f..ff09f82d8f 100755 --- a/collects/meta/props +++ b/collects/meta/props @@ -645,6 +645,11 @@ path/s is either such a string or a list of them. "collects/drracket/private/profile-drs.rkt" drdr:command-line (gracket-text "-t" *) "collects/drracket/private/rep.rkt" drdr:command-line (gracket-text "-t" *) "collects/drracket/private/stick-figures.rkt" drdr:command-line (mzc *) +"collects/drracket/private/syncheck/annotate.rkt" drdr:command-line (gracket *) +"collects/drracket/private/syncheck/colors.rkt" drdr:command-line (gracket *) +"collects/drracket/private/syncheck/contract-traversal.rkt" drdr:command-line (gracket *) +"collects/drracket/private/syncheck/gui.rkt" drdr:command-line (gracket *) +"collects/drracket/private/syncheck/traversals.rkt" drdr:command-line (gracket *) "collects/drracket/private/syncheck-debug.rkt" drdr:command-line (gracket-text "-t" *) "collects/drracket/private/text.rkt" drdr:command-line (gracket-text "-t" *) "collects/drracket/private/tools-drs.rkt" drdr:command-line (gracket *)