diff --git a/collects/r6rs/run.ss b/collects/r6rs/run.ss index 5faa934f56..1d8b57cf36 100644 --- a/collects/r6rs/run.ss +++ b/collects/r6rs/run.ss @@ -25,6 +25,10 @@ (install-all-users #t)] [("--force") "overwrite existing libraries" (install-force #t)] + #:multi + [("++path") dir "use