diff --git a/ci_build.sh b/ci_build.sh index 17be98575..a184d3366 100755 --- a/ci_build.sh +++ b/ci_build.sh @@ -268,7 +268,7 @@ default|default-Werror|default-with-docs|valgrind|clang-format-check) export CCACHE_BASEDIR git --no-pager log --oneline -n1 if [ -e autogen.sh ]; then - $CI_TIME ./autogen.sh 2> /dev/null + $CI_TIME ./autogen.sh fi if [ -e buildconf ]; then $CI_TIME ./buildconf 2> /dev/null