comparison: src/main/resources/make/configure.vm
src/main/resources/make/configure.vm
- changeset 167
- fa31a6d0ec56
- parent 165
- f4f11f755ee7
- child 168
- 4cd9757c1ad9
equal
deleted
inserted
replaced
| 166:9bb4b40d61b7 | 167:fa31a6d0ec56 |
|---|---|
| 262 echo ok | 262 echo ok |
| 263 else | 263 else |
| 264 # try to detect the correct libdir on our own, except it was changed by the user | 264 # try to detect the correct libdir on our own, except it was changed by the user |
| 265 if test "$libdir" = '${exec_prefix}/lib'; then | 265 if test "$libdir" = '${exec_prefix}/lib'; then |
| 266 if [ "$OS" = "SunOS" ]; then | 266 if [ "$OS" = "SunOS" ]; then |
| 267 test -d "${exec_prefix}/lib/amd64" && libdir='${exec_prefix}/lib/amd64' | 267 test -d "${exec_prefix}/lib/64" && libdir='${exec_prefix}/lib/64' |
| 268 else | 268 else |
| 269 # check if the standard libdir even exists | 269 # check if the standard libdir even exists |
| 270 if test -d "${exec_prefix}/lib" ; then | 270 if test -d "${exec_prefix}/lib" ; then |
| 271 : | 271 : |
| 272 else | 272 else |
