comparison: test/configure2
test/configure2
- changeset 172
- 3ffb04ba3f41
- parent 171
- 9e4fd0d54ade
- child 173
- 16324bb74fb1
equal
deleted
inserted
replaced
| 171:9e4fd0d54ade | 172:3ffb04ba3f41 |
|---|---|
| 173 if true \ | 173 if true \ |
| 174 ; then | 174 ; then |
| 175 : | 175 : |
| 176 if test -z "$prefix__initialized__"; then | 176 if test -z "$prefix__initialized__"; then |
| 177 prefix__initialized__=1 | 177 prefix__initialized__=1 |
| 178 prefix="`pwd`/work" | 178 prefix='`pwd`/work' |
| 179 fi | 179 fi |
| 180 if test -z "$exec_prefix__initialized__"; then | 180 if test -z "$exec_prefix__initialized__"; then |
| 181 exec_prefix__initialized__=1 | 181 exec_prefix__initialized__=1 |
| 182 exec_prefix="" | 182 exec_prefix='' |
| 183 fi | 183 fi |
| 184 if test -z "$libdir__initialized__"; then | 184 if test -z "$libdir__initialized__"; then |
| 185 libdir__initialized__=1 | 185 libdir__initialized__=1 |
| 186 libdir="" | 186 libdir='' |
| 187 fi | 187 fi |
| 188 if test -z "$datarootdir__initialized__"; then | 188 if test -z "$datarootdir__initialized__"; then |
| 189 datarootdir__initialized__=1 | 189 datarootdir__initialized__=1 |
| 190 datarootdir="" | 190 datarootdir='' |
| 191 fi | 191 fi |
| 192 if test -z "$localstatedir__initialized__"; then | 192 if test -z "$localstatedir__initialized__"; then |
| 193 localstatedir__initialized__=1 | 193 localstatedir__initialized__=1 |
| 194 localstatedir="/var" | 194 localstatedir='/var' |
| 195 fi | 195 fi |
| 196 if test -z "$libdatadir__initialized__"; then | 196 if test -z "$libdatadir__initialized__"; then |
| 197 libdatadir__initialized__=1 | 197 libdatadir__initialized__=1 |
| 198 libdatadir="$prefix/libdata" | 198 libdatadir='$prefix/libdata' |
| 199 fi | 199 fi |
| 200 if test -z "$SRCDIR__initialized__"; then | 200 if test -z "$SRCDIR__initialized__"; then |
| 201 SRCDIR__initialized__=1 | 201 SRCDIR__initialized__=1 |
| 202 SRCDIR=`pwd` | 202 SRCDIR=`pwd` |
| 203 fi | 203 fi |
| 204 if test -z "$TOOLKIT_HOME__initialized__"; then | 204 if test -z "$TOOLKIT_HOME__initialized__"; then |
| 205 TOOLKIT_HOME__initialized__=1 | 205 TOOLKIT_HOME__initialized__=1 |
| 206 TOOLKIT_HOME="/usr" | 206 TOOLKIT_HOME='/usr' |
| 207 fi | 207 fi |
| 208 fi | 208 fi |
| 209 | 209 |
| 210 # features | 210 # features |
| 211 FEATURE_DB=auto | 211 FEATURE_DB=auto |
