diff options
| -rw-r--r-- | configure.seed | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/configure.seed b/configure.seed index 6726a63c9..48f85ca9b 100644 --- a/configure.seed +++ b/configure.seed @@ -13,10 +13,10 @@ AS_IF([test "${with_sanitizer+set}" = set],[ LT_INIT -AC_PROG_CC -AM_PROG_CC_C_O -AC_PROG_CXX -AC_PROG_CC_STDC +AC_PROG_CC(clang gcc) +AM_PROG_CC_C_O(clang gcc) +AC_PROG_CXX(clang++ g++) +AC_PROG_CC_STDC(clang gcc) AC_LANG_WERROR AX_PTHREAD @@ -34,7 +34,7 @@ if test -d ".git"; then : GIT_DATE=`git log -1 --format=%cd` # # On CentOS 6 `git rev-list HEAD --count` does not work - # + # # GIT_NUM=`git log --pretty=oneline | wc -l | tr -d '[[:space:]]'` GIT_RELEASE="${PACKAGE_VERSION}-${GIT_NUM}-${GIT_TAG}" |