diff options
Diffstat (limited to '.github/run_test.sh')
-rwxr-xr-x | .github/run_test.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/.github/run_test.sh b/.github/run_test.sh index f698996d..66fd5260 100755 --- a/.github/run_test.sh +++ b/.github/run_test.sh @@ -6,11 +6,11 @@ set -ex -if [ -z "$LTESTS" ]; then - make $TEST_TARGET +if [ -z "${LTESTS}" ]; then + make ${TEST_TARGET} SKIP_LTESTS="${SKIP_LTESTS}" result=$? else - make $TEST_TARGET LTESTS="$LTESTS" + make ${TEST_TARGET} SKIP_LTESTS="${SKIP_LTESTS}" LTESTS="${LTESTS}" result=$? fi |