comparison: configure
configure
- changeset 1081
- d41e88b07225
- parent 1063
- b873715ffd96
- child 2315
- 174b4a83f5b7
- child 3050
- 76f0d653b347
equal
deleted
inserted
replaced
84 ;; |
84 ;; |
85 --ostype=*) |
85 --ostype=*) |
86 OSTYPE="$value" |
86 OSTYPE="$value" |
87 OSTYPE_SET=yes |
87 OSTYPE_SET=yes |
88 ;; |
88 ;; |
89 --data-dir=*) |
89 --datadir=*) |
90 DATADIR="$value" |
90 DATADIR="$value" |
91 DATADIR_SET=yes |
91 DATADIR_SET=yes |
92 ;; |
92 ;; |
93 --require-config) |
93 --require-config) |
94 REQUIRE_CONFIG=yes |
94 REQUIRE_CONFIG=yes |