diff --git a/t/cibuild.sh b/t/cibuild.sh
index fdf4badceddae3091bb014e591e8f309250b0e58..e0754dbc2e2e982881ce4e27fc7423198406a8f4 100755 (executable)
--- a/t/cibuild.sh
+++ b/t/cibuild.sh
set -ex
./autogen.sh
-./configure --enable-gcov CFLAGS="-O0 -Wno-sign-conversion"
+./configure --enable-gcov $CIOPTIONS CFLAGS="-O0 -Wno-sign-conversion"
make clean all
make test