comparison: test/configure2
test/configure2
- changeset 127
- 33bc4ae5d7cf
- parent 123
- d89b75fdf0aa
- child 128
- 22f7262475e7
equal
deleted
inserted
replaced
| 126:c82d46627c72 | 127:33bc4ae5d7cf |
|---|---|
| 179 "--localstatedir="*) localstatedir=${ARG#--localstatedir=} ;; | 179 "--localstatedir="*) localstatedir=${ARG#--localstatedir=} ;; |
| 180 "--includedir="*) includedir=${ARG#--includedir=} ;; | 180 "--includedir="*) includedir=${ARG#--includedir=} ;; |
| 181 "--infodir="*) infodir=${ARG#--infodir=} ;; | 181 "--infodir="*) infodir=${ARG#--infodir=} ;; |
| 182 "--mandir"*) mandir=${ARG#--mandir} ;; | 182 "--mandir"*) mandir=${ARG#--mandir} ;; |
| 183 "--localedir"*) localedir=${ARG#--localedir} ;; | 183 "--localedir"*) localedir=${ARG#--localedir} ;; |
| 184 "--help"*) printhelp; abort_configure ;; | 184 "--help"*) printhelp; abort_configure ;; |
| 185 "--debug") BUILD_TYPE="debug" ;; | 185 "--debug") BUILD_TYPE="debug" ;; |
| 186 "--release") BUILD_TYPE="release" ;; | 186 "--release") BUILD_TYPE="release" ;; |
| 187 "--toolkit="*) OPT_TOOLKIT=${ARG#--toolkit=} ;; | 187 "--toolkit="*) OPT_TOOLKIT=${ARG#--toolkit=} ;; |
| 188 "--toolkit") echo "option '$ARG' needs a value:"; echo " $ARG=(gtk3|cli|gtk2|wpf)"; abort_configure ;; | |
| 188 "--enable-db") FEATURE_DB=on ;; | 189 "--enable-db") FEATURE_DB=on ;; |
| 189 "--disable-db") unset FEATURE_DB ;; | 190 "--disable-db") unset FEATURE_DB ;; |
| 190 "--enable-gui") FEATURE_GUI=on ;; | 191 "--enable-gui") FEATURE_GUI=on ;; |
| 191 "--disable-gui") unset FEATURE_GUI ;; | 192 "--disable-gui") unset FEATURE_GUI ;; |
| 192 "-"*) echo "unknown option: $ARG"; abort_configure ;; | 193 "-"*) echo "unknown option: $ARG"; abort_configure ;; |
