diff options
author | Bruce Momjian <bruce@momjian.us> | 2000-06-12 03:54:03 +0000 |
---|---|---|
committer | Bruce Momjian <bruce@momjian.us> | 2000-06-12 03:54:03 +0000 |
commit | 36c926875aeaf13490672cc91b2e328735fb3812 (patch) | |
tree | e8dd42e6343e1a2ab52f07e1fad9f16be138f828 /src | |
parent | 3357e1d29e2d9be495510e1b2f56e8d762b91d2b (diff) | |
download | postgresql-36c926875aeaf13490672cc91b2e328735fb3812.tar.gz postgresql-36c926875aeaf13490672cc91b2e328735fb3812.zip |
Add makefile to warn about not using gmake.
Diffstat (limited to 'src')
-rw-r--r-- | src/Makefile | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/src/Makefile b/src/Makefile new file mode 100644 index 00000000000..8fbbcbdac2a --- /dev/null +++ b/src/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." |