From d77004276d24f7b665dcce2c288917ec8c07587a Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Sat, 17 Aug 2013 14:00:35 -0600 Subject: [PATCH] meta/pkg-push/push-catalog: don't run in DrDr --- pkgs/plt-services/meta/props | 1 + 1 file changed, 1 insertion(+) diff --git a/pkgs/plt-services/meta/props b/pkgs/plt-services/meta/props index b9c459cc68..2b40016a78 100755 --- a/pkgs/plt-services/meta/props +++ b/pkgs/plt-services/meta/props @@ -1013,6 +1013,7 @@ path/s is either such a string or a list of them. "pkgs/plt-services/meta/pkg-index" responsible (jay) "pkgs/plt-services/meta/pkg-index/official/main.rkt" drdr:command-line #f "pkgs/plt-services/meta/pkg-index/planet-compat/main.rkt" drdr:command-line (raco "test" *) +"pkgs/plt-services/meta/pkg-push/push-catalog.rkt" drdr:command-line #f "pkgs/plt-services/meta/props" responsible (eli jay) drdr:command-line (racket "-um" * "verify") "pkgs/plt-services/meta/web" drdr:command-line #f "pkgs/preprocessor" responsible (eli)