comparison: test/configure
test/configure
- changeset 19
- e05f3e8ec2cb
- parent 16
- 4fac0e25ee04
- child 20
- 2d3fe2c44163
equal
deleted
inserted
replaced
| 17:f75f5b3bc14f | 19:e05f3e8ec2cb |
|---|---|
| 79 "--sharedstatedir="*) SHAREDSTATEDIR=${ARG#--sharedstatedir=} ;; | 79 "--sharedstatedir="*) SHAREDSTATEDIR=${ARG#--sharedstatedir=} ;; |
| 80 "--localstatedir="*) LOCALSTATEDIR=${ARG#--localstatedir=} ;; | 80 "--localstatedir="*) LOCALSTATEDIR=${ARG#--localstatedir=} ;; |
| 81 "--includedir="*) INCLUDEDIR=${ARG#--includedir=} ;; | 81 "--includedir="*) INCLUDEDIR=${ARG#--includedir=} ;; |
| 82 "--infodir="*) INFODIR=${ARG#--infodir=} ;; | 82 "--infodir="*) INFODIR=${ARG#--infodir=} ;; |
| 83 "--mandir"*) MANDIR=${ARG#--mandir} ;; | 83 "--mandir"*) MANDIR=${ARG#--mandir} ;; |
| 84 "--help"*) printhelp; exit 1 ;; | 84 "--help"*) printhelp; rm -Rf $TEMP_DIR; exit 1 ;; |
| 85 "--enable-pg") FEATURE_PG=on ;; | 85 "--enable-pg") FEATURE_PG=on ;; |
| 86 "--disable-pg") unset FEATURE_PG ;; | 86 "--disable-pg") unset FEATURE_PG ;; |
| 87 "-"*) echo "unknown option: $ARG"; exit 1 ;; | 87 "-"*) echo "unknown option: $ARG"; rm -Rf $TEMP_DIR; exit 1 ;; |
| 88 esac | 88 esac |
| 89 done | 89 done |
| 90 | 90 |
| 91 # set dir variables | 91 # set dir variables |
| 92 if [ -z "$BINDIR" ]; then | 92 if [ -z "$BINDIR" ]; then |
