diff options
Diffstat (limited to 'package/configure-snippets/configure_case_lines')
| -rw-r--r-- | package/configure-snippets/configure_case_lines | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/package/configure-snippets/configure_case_lines b/package/configure-snippets/configure_case_lines new file mode 100644 index 0000000..d5aff1c --- /dev/null +++ b/package/configure-snippets/configure_case_lines @@ -0,0 +1,7 @@ + --with-default-server=*) server=${arg#*=} ;; + --with-default-port=*) port=${arg#*=} ;; + --with-default-tlsport=*) tlsport=${arg#*=} ;; + --with-default-cadir=*) cadir=${arg#*=} ;; + --with-default-tls|--with-default-tls=yes) deftls=true ;; + --without-default-tls|--with-default-tls=no) deftls=false ;; + --with-tmpdir=*) tmpdir=${arg#*=} ;; |