diff options
author | Tom Lane <tgl@sss.pgh.pa.us> | 2000-06-09 01:29:28 +0000 |
---|---|---|
committer | Tom Lane <tgl@sss.pgh.pa.us> | 2000-06-09 01:29:28 +0000 |
commit | fb070464c1907bfea7c4f15fddf6c6c6f034042c (patch) | |
tree | af7c1910ef77d0d08d648307c722fc5e4ca51338 /Makefile | |
parent | ae526b407039dd743eb318a9f05eba1ee7594738 (diff) | |
download | postgresql-fb070464c1907bfea7c4f15fddf6c6c6f034042c.tar.gz |
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.)
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/Makefile b/Makefile new file mode 100644 index 0000000000..8fbbcbdac2 --- /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." |