diff options
| author | Peter Eisentraut | 2014-04-15 01:49:57 +0000 |
|---|---|---|
| committer | Peter Eisentraut | 2014-04-15 01:49:57 +0000 |
| commit | e3fd9327384abc1cd252ddd8ce9429ab7bef48b5 (patch) | |
| tree | 17e5596bd5817ea279a841ef59fe1846904749e3 | |
| parent | 7d0f493f19607774fdccb1a1ea06fdd96a3d9698 (diff) | |
Add @configure_input@ marker to Makefile.global.in
That way, when looking at Makefile.global, we don't get confused by the
comment that claims that this is Makefile.global.in.
| -rw-r--r-- | src/Makefile.global.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/Makefile.global.in b/src/Makefile.global.in index 7a7b0899fd3..c2bdab38b7e 100644 --- a/src/Makefile.global.in +++ b/src/Makefile.global.in @@ -1,5 +1,6 @@ # -*-makefile-*- # src/Makefile.global.in +# @configure_input@ #------------------------------------------------------------------------------ # All PostgreSQL makefiles include this file and use the variables it sets, |