diff options
author | Jim Blandy <jimb@redhat.com> | 1993-05-30 18:24:08 +0000 |
---|---|---|
committer | Jim Blandy <jimb@redhat.com> | 1993-05-30 18:24:08 +0000 |
commit | 1b4357f45235dffa968a5bf373a21ac318542cd9 (patch) | |
tree | 2abffa1f6e66585f92da0e59c12cf6bbe77449d7 /configure1.in | |
parent | 7b37f67b57515969ac0b3861484babe1d42a5845 (diff) | |
download | emacs-1b4357f45235dffa968a5bf373a21ac318542cd9.tar.gz |
* configure.in: Complain if srcdir points at an already-configured
tree.
Diffstat (limited to 'configure1.in')
-rwxr-xr-x | configure1.in | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/configure1.in b/configure1.in index 4251cac07d1..9badb35e10d 100755 --- a/configure1.in +++ b/configure1.in @@ -354,6 +354,14 @@ case "${srcdir}" in * ) srcdir="`(cd ${srcdir}; pwd)`" ;; esac +#### Make sure that the source directory doesn't already have a +#### configured system in it. +if [ -f "${srcdir}/src/config.h" ] ; then + (echo "${progname}: the directory tree \`${srcdir}' is being used as a build" + echo " directory right now; it has been configured in its own right." + echo " You can't use srcdir in this situation.") >&2 + exit 1 +fi ### Make the necessary directories, if they don't exist. if [ ! -d ./src ]; then |