turn off some distro-build files
This commit is contained in:
parent
adb8e6611e
commit
435e4679b1
|
@ -678,6 +678,8 @@ path/s is either such a string or a list of them.
|
|||
"pkgs/distributed-places-pkgs/distributed-places-lib/racket/place/distributed/examples/hello-world.rkt" drdr:command-line #f
|
||||
"pkgs/distro-build" responsible (mflatt)
|
||||
"pkgs/distro-build/add-catalog.rkt" drdr:command-line (mzc *)
|
||||
"pkgs/distro-build/serve-catalog.rkt" drdr:command-line (mzc *)
|
||||
"pkgs/distro-build/pack-collects.rkt" drdr:command-line (mzc *)
|
||||
"pkgs/distro-build/assemble-site.rkt" drdr:command-line (mzc *)
|
||||
"pkgs/distro-build/drive-clients.rkt" drdr:command-line (mzc *)
|
||||
"pkgs/distro-build/install-for-docs.rkt" drdr:command-line (mzc *)
|
||||
|
|
Loading…
Reference in New Issue
Block a user