【学习 PG】关于 Makefile.global 的生成问题

Makefile.global is made from Makefile.global.in by the configure script. —— Tom Lane

这一文件是动态生成的，依据 Makefile.global.in 与 configure （它的作用是根据环境的情况，打开或关闭某些选项）