From 20c12b6debc15bf08a442843a6d7a68b09f6db47 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Sat, 10 Apr 2010 19:22:19 +0000 Subject: [PATCH] somehow this change was not included with the last; also set drdr property for robby svn: r18783 --- collects/meta/props | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/collects/meta/props b/collects/meta/props index 58eabf087e..f74883448d 100755 --- a/collects/meta/props +++ b/collects/meta/props @@ -448,7 +448,7 @@ path/s is either such a string or a list of them. 'drdr:command-line "command-line string (empty string means no execution)" (lambda (str) - (if (regexp-match #rx"^(|.*\\$path.*)$") + (if (regexp-match #rx"^(|.*~s.*)$" str) str (error "expecting an empty string, or one with `~s'"))) values) @@ -720,7 +720,7 @@ path/s is either such a string or a list of them. "collects/games/cards/snipclass.ss" drdr:command-line "mred-text -t ~s" "collects/games/cards.ss" drdr:command-line "mred-text -t ~s" "collects/games/chat-noir" responsible (robby matthias) -"collects/games/chat-noir/chat-noir-literate.ss" drdr:command-line "mzc -k ~s" +"collects/games/chat-noir/chat-noir-literate.ss" drdr:command-line "mred-text ~s" "collects/games/chat-noir/chat-noir-unit.ss" drdr:command-line "mred-text -t ~s" "collects/games/checkers/checkers.ss" drdr:command-line "mred-text -t ~s" "collects/games/checkers/honu-bitmaps.ss" drdr:command-line "mred-text -t ~s"