changeset 3300:3ac8efebf586

* configure.in: Complain if srcdir points at an already-configured tree.
author Jim Blandy <jimb@redhat.com>
date Sun, 30 May 1993 18:24:08 +0000
parents 6fab7c7bb1f1
children aaf396661221
files configure1.in
diffstat 1 files changed, 8 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/configure1.in	Sun May 30 18:12:11 1993 +0000
+++ b/configure1.in	Sun May 30 18:24:08 1993 +0000
@@ -354,6 +354,14 @@
   *  ) 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