mirror of
https://github.com/dimitri/pgloader.git
synced 2026-05-05 02:46:10 +02:00
Add a usage line in the --help output.
This commit is contained in:
parent
78b42cc4ae
commit
2a344ab7ce
@ -113,6 +113,7 @@
|
||||
(format t "pgloader version ~s~%" *version-string*))
|
||||
|
||||
(when help
|
||||
(format t "~a [ option ... ] command-file ..." (first argv))
|
||||
(command-line-arguments:show-option-help *opt-spec*))
|
||||
|
||||
(when (or help version) (uiop:quit))
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user