comparison: test/configure
test/configure
- changeset 172
- 3ffb04ba3f41
- parent 171
- 9e4fd0d54ade
- child 173
- 16324bb74fb1
equal
deleted
inserted
replaced
| 171:9e4fd0d54ade | 172:3ffb04ba3f41 |
|---|---|
| 148 if true \ | 148 if true \ |
| 149 ; then | 149 ; then |
| 150 : | 150 : |
| 151 if test -z "$prefix__initialized__"; then | 151 if test -z "$prefix__initialized__"; then |
| 152 prefix__initialized__=1 | 152 prefix__initialized__=1 |
| 153 prefix="/usr" | 153 prefix='/usr' |
| 154 fi | 154 fi |
| 155 if test -z "$exec_prefix__initialized__"; then | 155 if test -z "$exec_prefix__initialized__"; then |
| 156 exec_prefix__initialized__=1 | 156 exec_prefix__initialized__=1 |
| 157 exec_prefix="" | 157 exec_prefix='' |
| 158 fi | 158 fi |
| 159 if test -z "$libdir__initialized__"; then | 159 if test -z "$libdir__initialized__"; then |
| 160 libdir__initialized__=1 | 160 libdir__initialized__=1 |
| 161 libdir="" | 161 libdir='' |
| 162 fi | 162 fi |
| 163 if test -z "$HOST__initialized__"; then | 163 if test -z "$HOST__initialized__"; then |
| 164 HOST__initialized__=1 | 164 HOST__initialized__=1 |
| 165 HOST=`uname -n` | 165 HOST=`uname -n` |
| 166 fi | 166 fi |
| 169 && notisplatform "mingw" \ | 169 && notisplatform "mingw" \ |
| 170 ; then | 170 ; then |
| 171 : | 171 : |
| 172 if test -z "$PWD__initialized__"; then | 172 if test -z "$PWD__initialized__"; then |
| 173 PWD__initialized__=1 | 173 PWD__initialized__=1 |
| 174 PWD="pwd" | 174 PWD='pwd' |
| 175 fi | 175 fi |
| 176 fi | 176 fi |
| 177 if true \ | 177 if true \ |
| 178 && isplatform "mingw" \ | 178 && isplatform "mingw" \ |
| 179 ; then | 179 ; then |
| 180 : | 180 : |
| 181 if test -z "$PWD__initialized__"; then | 181 if test -z "$PWD__initialized__"; then |
| 182 PWD__initialized__=1 | 182 PWD__initialized__=1 |
| 183 PWD="pwd -W" | 183 PWD='pwd -W' |
| 184 fi | 184 fi |
| 185 fi | 185 fi |
| 186 | 186 |
| 187 # features | 187 # features |
| 188 FEATURE_PG=auto | 188 FEATURE_PG=auto |
