diff options
| author | David J. MacKenzie <djm@gnu.org> | 1994-09-21 17:02:10 +0000 |
|---|---|---|
| committer | David J. MacKenzie <djm@gnu.org> | 1994-09-21 17:02:10 +0000 |
| commit | 13595f8b9c284b38b331e3334a3ff27152f1d395 (patch) | |
| tree | 136dc5543001ee7a14e5c494d10e62f274e65bed /configure1.in | |
| parent | b3435a2f664f663701868aad204d7f2f9097cf8f (diff) | |
| download | emacs-13595f8b9c284b38b331e3334a3ff27152f1d395.tar.gz | |
remove trailing slashes from srcdir
Diffstat (limited to 'configure1.in')
| -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 |