diff options
| author | Teddy Wing | 2021-02-03 23:32:15 +0100 |
|---|---|---|
| committer | Teddy Wing | 2021-02-03 23:32:15 +0100 |
| commit | febff51a72d55c22997849e96dabf4813b12b35c (patch) | |
| tree | f21c406d884f5dda1d11b954659daf603457cf67 /l | |
| parent | b19c948b058a94a7b4f5de01b6642d0303ec214d (diff) | |
| download | extreload-febff51a72d55c22997849e96dabf4813b12b35c.tar.bz2 | |
parse-options: Error if no extension ID arguments were given
Diffstat (limited to 'l')
| -rw-r--r-- | l/src/option.lisp | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/l/src/option.lisp b/l/src/option.lisp index 2c3f0d0..3dde8af 100644 --- a/l/src/option.lisp +++ b/l/src/option.lisp @@ -37,5 +37,11 @@ (opts:exit 64)) + ;; Error if no extension IDs were given. + (when (null free-args) + (format *error-output* "error: missing extension IDs~%") + + (opts:exit 64)) + (make-config :socket-url (getf options :socket-url) :extension-ids free-args))) |