Pass arguments to ci/build to ctest

This makes it possible to only run a subset of the tests by for instance
running “build-in-docker <name> -R <test>”.

diff --git a/ci/build b/ci/build
index 5b79f27718eb7151bb7a8fb0789212908edc212c..b326e9a635d0de3d96078d77a068278d0ab7da02 100755 (executable)
--- a/ci/build
+++ b/ci/build
@@ -20,6 +20,6 @@ else
     # 4 jobs seem to be a reasonable default for Travis.
     ${CMAKE_PREFIX:-} cmake --build . ${BUILDEXTRAFLAGS:-} -- -j${JOBS}
     # Warning: Rare random failures when running with -j4.
-    [ "${RUN_TESTS:-1}" -ne "1" ] || ctest --output-on-failure -j${JOBS}
+    [ "${RUN_TESTS:-1}" -ne "1" ] || ctest --output-on-failure -j${JOBS} "$@"
 fi
 exit 0