diff options
| author | Tom Lane <tgl@sss.pgh.pa.us> | 2015-07-02 17:24:36 -0400 |
|---|---|---|
| committer | Tom Lane <tgl@sss.pgh.pa.us> | 2015-07-02 17:24:36 -0400 |
| commit | a5d489ccb7e613c7ca3be6141092b8c1d2c13fa7 (patch) | |
| tree | 20edc71a50710ec8210a810124c551ca3e5943c2 /src/tutorial/syscat.source | |
| parent | ac50f84866b22f239025bf37c9c7492cc4ce2dfd (diff) | |
Make numeric form of PG version number readily available in Makefiles.
Expose PG_VERSION_NUM (e.g., "90600") as a Make variable; but for
consistency with the other Make variables holding similar info,
call the variable just VERSION_NUM not PG_VERSION_NUM.
There was some discussion of making this value available as a pg_config
value as well. However, that would entail substantially more work than
this two-line patch. Given that there was not exactly universal consensus
that we need this at all, let's just do a minimal amount of work for now.
Michael Paquier, reviewed by Pavel Stehule
Diffstat (limited to 'src/tutorial/syscat.source')
0 files changed, 0 insertions, 0 deletions