Make PG_CONFIG a declared precious configure variable
authorCraig Ringer <craig@2ndquadrant.com>
Wed, 22 Apr 2015 06:24:19 +0000 (14:24 +0800)
committerCraig Ringer <craig@2ndquadrant.com>
Wed, 22 Apr 2015 06:26:11 +0000 (14:26 +0800)
commitd5d1693cb6a0c884e8b70507792770e03f6346c8
treea036ac0543900278d48a83d225064041932b8d84
parentaffea192f49b039206377e7f4b0d231e7b0a6f0f
Make PG_CONFIG a declared precious configure variable

It'll show up in help and appear in the config cache.
configure
configure.in