Add @configure_input@ marker to Makefile.global.in
authorPeter Eisentraut <peter_e@gmx.net>
Tue, 15 Apr 2014 01:49:57 +0000 (21:49 -0400)
committerPeter Eisentraut <peter_e@gmx.net>
Tue, 15 Apr 2014 01:49:57 +0000 (21:49 -0400)
commite3fd9327384abc1cd252ddd8ce9429ab7bef48b5
tree17e5596bd5817ea279a841ef59fe1846904749e3
parent7d0f493f19607774fdccb1a1ea06fdd96a3d9698
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.
src/Makefile.global.in