diff options
| -rwxr-xr-x | src/configure | 1 | ||||
| -rw-r--r-- | src/configure.in | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/src/configure b/src/configure index 2bd2b826f10..151d4718fdd 100755 --- a/src/configure +++ b/src/configure @@ -8190,3 +8190,4 @@ chmod +x $CONFIG_STATUS rm -fr confdefs* $ac_clean_files test "$no_create" = yes || ${CONFIG_SHELL-/bin/sh} $CONFIG_STATUS || exit 1 + diff --git a/src/configure.in b/src/configure.in index 115096f724f..c5dc23700ab 100644 --- a/src/configure.in +++ b/src/configure.in @@ -1228,3 +1228,4 @@ AC_OUTPUT( pl/plpgsql/src/mklang.sql pl/tcl/mkMakefile.tcldefs.sh ) + |