github/repmgr
1
0
Fork 0
mirror of https://github.com/EnterpriseDB/repmgr.git synced 2026-03-22 22:56:29 +00:00
Code Issues Packages Projects Releases 1 Wiki Activity

Makefiles and placeholder code

Browse Source
This commit is contained in:
Ian Barwick
2017-04-18 11:26:51 +09:00
parent 4a830b14b9
commit e6237cc81a
12 changed files with 1380 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
configure.in
View File

@@ -23,7 +23,7 @@ if test -z "$version_num"; then
fi
version_num_int=$(echo "$version_num"|
$SED -e 's/^\([[0-9]]*\)\([[0-9]]*\)$/\1\2/')
$SED -e 's/^\([[0-9]]*\)\.\([[0-9]]*\)$/\1\2/')
if test "$version_num_int" -lt '93'; then
AC_MSG_ERROR([repmgr is not compatible with detected PostgreSQL version: $version_num])
@@ -41,3 +41,8 @@ else
vpath_build=yes
fi
AC_SUBST(vpath_build)
AC_CONFIG_FILES([Makefile])
AC_CONFIG_FILES([Makefile.global])
AC_OUTPUT