diff options
Diffstat (limited to '.ci/gcc-32.sh')
| -rw-r--r-- | .ci/gcc-32.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.ci/gcc-32.sh b/.ci/gcc-32.sh index c128e91988..aea996f5a0 100644 --- a/.ci/gcc-32.sh +++ b/.ci/gcc-32.sh @@ -23,4 +23,6 @@ CMAKE_EXTRA_FLAGS="-DTRAVIS_CI_BUILD=ON \ $MAKE_CMD CMAKE_EXTRA_FLAGS="${CMAKE_EXTRA_FLAGS}" unittest $MAKE_CMD test +check_core_dumps $MAKE_CMD oldtest +check_core_dumps |