comparison: configure
configure
- changeset 159
- 84a6e7a7b457
- parent 158
- 4bde241c49b1
- child 170
- ad9edb497857
equal
deleted
inserted
replaced
| 158:4bde241c49b1 | 159:84a6e7a7b457 |
|---|---|
| 78 "--localstatedir="*) LOCALSTATEDIR=${ARG#--localstatedir=} ;; | 78 "--localstatedir="*) LOCALSTATEDIR=${ARG#--localstatedir=} ;; |
| 79 "--includedir="*) INCLUDEDIR=${ARG#--includedir=} ;; | 79 "--includedir="*) INCLUDEDIR=${ARG#--includedir=} ;; |
| 80 "--infodir="*) INFODIR=${ARG#--infodir=} ;; | 80 "--infodir="*) INFODIR=${ARG#--infodir=} ;; |
| 81 "--mandir"*) MANDIR=${ARG#--mandir} ;; | 81 "--mandir"*) MANDIR=${ARG#--mandir} ;; |
| 82 "--help"*) printhelp; exit 1 ;; | 82 "--help"*) printhelp; exit 1 ;; |
| 83 "--toolkit="*) OPT_TOOLKIT={ARG#toolkit=} ;; | 83 "--toolkit="*) OPT_TOOLKIT=${ARG#--toolkit=} ;; |
| 84 "-"*) echo "unknown option: $ARG"; exit 1 ;; | 84 "-"*) echo "unknown option: $ARG"; exit 1 ;; |
| 85 esac | 85 esac |
| 86 done | 86 done |
| 87 | 87 |
| 88 # set dir variables | 88 # set dir variables |
