[project @ 2001-04-04 13:39:09 by simonmar]

[ghc-hetmet.git] / Makefile

diff --git a/Makefile b/Makefile
index 40167e7..5dcfa3a 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -35,16 +35,6 @@ project-check :
        fi
 
 # -----------------------------------------------------------------------------
-# Make sure configure is up-to-date
-
-all install dist binary-dist :: configure
-configure :: configure.in
-       @echo "WARNING: configure needs to be regenerated.  Type"
-       @echo "      make -f Makefile.config ./configure"
-       @echo "and rerun make."
-       @exit 16
-
-# -----------------------------------------------------------------------------
 # Making a binary distribution
 #
 # To make a particular binary distribution: