diff options
| -rwxr-xr-x | configure1.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure1.in b/configure1.in index 4b827200fe0..c7344248263 100755 --- a/configure1.in +++ b/configure1.in | |||
| @@ -1468,7 +1468,7 @@ if [ "$run_in_place" = "1" ]; then | |||
| 1468 | locallisppath='${srcdir}/site-lisp' | 1468 | locallisppath='${srcdir}/site-lisp' |
| 1469 | etcdir='${srcdir}/etc' | 1469 | etcdir='${srcdir}/etc' |
| 1470 | lockdir='${srcdir}/lock' | 1470 | lockdir='${srcdir}/lock' |
| 1471 | archlibdir='${srcdir}/lib-src' | 1471 | archlibdir=`(cd lib-src && pwd)` |
| 1472 | infodir='${srcdir}/info' | 1472 | infodir='${srcdir}/info' |
| 1473 | elif [ "$single_tree" = "1" ]; then | 1473 | elif [ "$single_tree" = "1" ]; then |
| 1474 | if [ "$exec_prefix_specified" = "" ]; then | 1474 | if [ "$exec_prefix_specified" = "" ]; then |