Fix command-line for the demodularizer.
Closes PR 12731.
original commit: 16d40c3170
This commit is contained in:
parent
ac6210c42e
commit
d0f469f166
|
@ -115,6 +115,7 @@ Here's the idea:
|
||||||
#:multi
|
#:multi
|
||||||
[("-e" "--exclude-modules") path "Exclude <path> from flattening"
|
[("-e" "--exclude-modules") path "Exclude <path> from flattening"
|
||||||
(current-excluded-modules (set-add (current-excluded-modules) path))]
|
(current-excluded-modules (set-add (current-excluded-modules) path))]
|
||||||
|
#:once-each
|
||||||
[("-o") dest-filename "Write output as <dest-filename>"
|
[("-o") dest-filename "Write output as <dest-filename>"
|
||||||
(output-file (string->path dest-filename))]
|
(output-file (string->path dest-filename))]
|
||||||
#:args (filename)
|
#:args (filename)
|
||||||
|
|
Loading…
Reference in New Issue
Block a user