diff options
| -rwxr-xr-x | configure1.in | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/configure1.in b/configure1.in index 53c798a0e9d..5d36e7c47b5 100755 --- a/configure1.in +++ b/configure1.in @@ -421,6 +421,9 @@ case "${srcdir}" in * ) srcdir="`(cd ${srcdir}; pwd)`" ;; esac +### Remove trailing slashes. +srcdir=`echo "${srcdir}" | sed 's,\([^/]\)/*$,\1,'` + #### Check if the source directory already has a configured system in it. if [ `pwd` != `(cd ${srcdir} && pwd)` ] \ && [ -f "${srcdir}/src/config.h" ] ; then |