Handle unknown command line option
This commit is contained in:
parent
d16033a7b9
commit
fe5c6e6fc8
@ -459,11 +459,17 @@
|
|||||||
(vvp (string-trim (or (option-get opts "vvp-exe") "vvp")))
|
(vvp (string-trim (or (option-get opts "vvp-exe") "vvp")))
|
||||||
(iverilog (string-trim (or (option-get opts "iverilog-exe") "iverilog"))))
|
(iverilog (string-trim (or (option-get opts "iverilog-exe") "iverilog"))))
|
||||||
|
|
||||||
(if (option-get opts "help")
|
(cond
|
||||||
(begin
|
(err
|
||||||
|
(display (format "Unknown option '~a'\n" err))
|
||||||
(print-help (car args))
|
(print-help (car args))
|
||||||
(exit -1))
|
(exit -1))
|
||||||
(begin
|
|
||||||
|
((option-get opts "help")
|
||||||
|
(print-help (car args))
|
||||||
|
(exit -1))
|
||||||
|
|
||||||
|
(else
|
||||||
(printlog "Listen on '~a' port '~a'" addr port)
|
(printlog "Listen on '~a' port '~a'" addr port)
|
||||||
(printlog "Server URL: '~a/~a'" host root)
|
(printlog "Server URL: '~a/~a'" host root)
|
||||||
|
|
||||||
|
|||||||
Loading…
x
Reference in New Issue
Block a user