diff --git a/.github/scripts/unix.sh b/.github/scripts/unix.sh index d890577b6..5bca4dca4 100644 --- a/.github/scripts/unix.sh +++ b/.github/scripts/unix.sh @@ -91,6 +91,7 @@ function build () { export GTSAM_BUILD_EXAMPLES_ALWAYS=ON export GTSAM_BUILD_TESTS=OFF + export GTSAM_SINGLE_TEST_EXE=ON configure @@ -108,6 +109,7 @@ function test () { export GTSAM_BUILD_EXAMPLES_ALWAYS=OFF export GTSAM_BUILD_TESTS=ON + export GTSAM_SINGLE_TEST_EXE=ON configure