suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

meta/pkg-push/push-catalog: don't run in DrDr

Browse Source
This commit is contained in:
Matthew Flatt 2013-08-17 14:00:35 -06:00
parent 80c72ad1dd
commit d77004276d
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
pkgs/plt-services/meta/props
View File

@ -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)