diff options
| -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, |