# HG changeset patch
# User Jim Blandy <jimb@redhat.com>
# Date 738786248 0
# Node ID 3ac8efebf586a02099b8cf47b380dff52b2ee360
# Parent  6fab7c7bb1f17ace10588ccb142e9f06ea950065
	* configure.in: Complain if srcdir points at an already-configured
	tree.

diff -r 6fab7c7bb1f1 -r 3ac8efebf586 configure1.in
--- 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