comparison: test/configure
test/configure
- changeset 127
- 33bc4ae5d7cf
- parent 123
- d89b75fdf0aa
- child 128
- 22f7262475e7
equal
deleted
inserted
replaced
| 126:c82d46627c72 | 127:33bc4ae5d7cf |
|---|---|
| 184 "--localstatedir="*) localstatedir=${ARG#--localstatedir=} ;; | 184 "--localstatedir="*) localstatedir=${ARG#--localstatedir=} ;; |
| 185 "--includedir="*) includedir=${ARG#--includedir=} ;; | 185 "--includedir="*) includedir=${ARG#--includedir=} ;; |
| 186 "--infodir="*) infodir=${ARG#--infodir=} ;; | 186 "--infodir="*) infodir=${ARG#--infodir=} ;; |
| 187 "--mandir"*) mandir=${ARG#--mandir} ;; | 187 "--mandir"*) mandir=${ARG#--mandir} ;; |
| 188 "--localedir"*) localedir=${ARG#--localedir} ;; | 188 "--localedir"*) localedir=${ARG#--localedir} ;; |
| 189 "--help"*) printhelp; abort_configure ;; | 189 "--help"*) printhelp; abort_configure ;; |
| 190 "--debug") BUILD_TYPE="debug" ;; | 190 "--debug") BUILD_TYPE="debug" ;; |
| 191 "--release") BUILD_TYPE="release" ;; | 191 "--release") BUILD_TYPE="release" ;; |
| 192 "--enable-pg") FEATURE_PG=on ;; | 192 "--enable-pg") FEATURE_PG=on ;; |
| 193 "--disable-pg") unset FEATURE_PG ;; | 193 "--disable-pg") unset FEATURE_PG ;; |
| 194 "-"*) echo "unknown option: $ARG"; abort_configure ;; | 194 "-"*) echo "unknown option: $ARG"; abort_configure ;; |
| 195 esac | 195 esac |
| 196 done | 196 done |
