diff options
Diffstat (limited to 'configure.ac')
| -rw-r--r-- | configure.ac | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/configure.ac b/configure.ac index c097f26..a74bddc 100644 --- a/configure.ac +++ b/configure.ac @@ -3783,11 +3783,13 @@ esac AC_SUBST([DEFAULT_API_VERSION]) AC_MSG_CHECKING([which version of public symbols to use by default]) AC_ARG_WITH([default-api-version], - [AS_HELP_STRING([--with-default-api-version=(v16|v18|v110)], + [AS_HELP_STRING([--with-default-api-version=(default|v16|v18|v110)], [Specify default release version of public symbols [default=v110]])],, [withval=v110]) +## Allowing "default" allows the GitHub CI to check that we didn't forget +## to change the defaults when creating a new major version if test "X$withval" = "Xv16"; then AC_MSG_RESULT([v16]) DEFAULT_API_VERSION=v16 @@ -3798,7 +3800,7 @@ elif test "X$withval" = "Xv18"; then DEFAULT_API_VERSION=v18 AC_DEFINE([USE_18_API_DEFAULT], [1], [Define using v1.8 public API symbols by default]) -elif test "X$withval" = "Xv110"; then +elif test "X$withval" = "Xv110" -o "X$withval" = "Xdefault"; then AC_MSG_RESULT([v110]) DEFAULT_API_VERSION=v110 AC_DEFINE([USE_110_API_DEFAULT], [1], |