comparison: configure
configure
- changeset 1536
- b65c05e7be3c
- parent 1528
- 6a687a7caed8
equal
deleted
inserted
replaced
| 1535:593e349b6d61 | 1536:b65c05e7be3c |
|---|---|
| 197 includedir__initialized__=1 | 197 includedir__initialized__=1 |
| 198 includedir='' | 198 includedir='' |
| 199 fi | 199 fi |
| 200 if test -z "$VERSION__initialized__"; then | 200 if test -z "$VERSION__initialized__"; then |
| 201 VERSION__initialized__=1 | 201 VERSION__initialized__=1 |
| 202 VERSION='3.2.0' | 202 VERSION='4.0.0' |
| 203 fi | 203 fi |
| 204 if test -z "$LIBVERSION__initialized__"; then | 204 if test -z "$LIBVERSION__initialized__"; then |
| 205 LIBVERSION__initialized__=1 | 205 LIBVERSION__initialized__=1 |
| 206 LIBVERSION='6.0.0' | 206 LIBVERSION='7.0.0' |
| 207 fi | 207 fi |
| 208 if test -z "$LIBVERSION_MAJOR__initialized__"; then | 208 if test -z "$LIBVERSION_MAJOR__initialized__"; then |
| 209 LIBVERSION_MAJOR__initialized__=1 | 209 LIBVERSION_MAJOR__initialized__=1 |
| 210 LIBVERSION_MAJOR='6' | 210 LIBVERSION_MAJOR='7' |
| 211 fi | 211 fi |
| 212 if test -z "$root_dir__initialized__"; then | 212 if test -z "$root_dir__initialized__"; then |
| 213 root_dir__initialized__=1 | 213 root_dir__initialized__=1 |
| 214 root_dir=`pwd` | 214 root_dir=`pwd` |
| 215 fi | 215 fi |
