Rename Makefile to GNUMakefile and add a "use GNU Make" Makefile so people
Bryan Henderson <bryanh@giraffe.netgate.net>
Rename Makefile to GNUMakefile and add a "use GNU Make" Makefile so people don't accidentally use non-GNU make.
Files
| Path | Change | +/− |
|---|---|---|
| src/test/regress/GNUMakefile | added | +94 −0 |
| src/test/regress/Makefile | modified | +12 −92 |