diff options
| author | Bruce Momjian <bruce@momjian.us> | 2000-06-12 16:05:25 +0000 |
|---|---|---|
| committer | Bruce Momjian <bruce@momjian.us> | 2000-06-12 16:05:25 +0000 |
| commit | 5083a01fece25b36837765c0c8a834a9fb519b6c (patch) | |
| tree | 72fcab22bb4a39d6ab52bdcb83ca82d6fe458887 /Makefile | |
| parent | aaf19c0e25715c2b46164798ff017d688487763b (diff) | |
| download | postgresql-5083a01fece25b36837765c0c8a834a9fb519b6c.tar.gz | |
Remove Makefile. Now generated by configure.
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/Makefile b/Makefile deleted file mode 100644 index 8fbbcbdac2..0000000000 --- a/Makefile +++ /dev/null @@ -1,16 +0,0 @@ -# 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." |