From fb070464c1907bfea7c4f15fddf6c6c6f034042c Mon Sep 17 00:00:00 2001
From: Tom Lane <tgl@sss.pgh.pa.us>
Date: Fri, 9 Jun 2000 01:29:28 +0000
Subject: [PATCH] If we're gonna have people running make from the top
 directory now, we'd better have a Makefile here to prevent the mistake of
 using vannilla make instead of gmake.  (But let's leave src/Makefile where it
 is, too.)

---
 Makefile | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)
 create mode 100644 Makefile

diff --git a/Makefile b/Makefile
new file mode 100644
index 00000000000..8fbbcbdac2a
--- /dev/null
+++ b/Makefile
@@ -0,0 +1,16 @@
+# The Postgres make files exploit features of GNU make that other makes
+# do not have.  Because it is a common mistake for users to try to build
+# Postgres with a different make, we have this make file that does nothing
+# but tell the user to use GNU make.
+
+# If the user were using GNU make now, this file would not get used because
+# GNU make uses a make file named "GNUmakefile" in preference to "Makefile"
+# if it exists.  Postgres is shipped with a "GNUmakefile".
+
+all install clean dep depend distclean:
+	@echo "You must use GNU make to use Postgres.  It may be installed"
+	@echo "on your system with the name 'gmake'."
+	@echo
+	@echo "NOTE:  If you are sure that you are using GNU make and you are"
+	@echo "       still getting this message, you may simply need to run"
+	@echo "       the configure program."
-- 
GitLab