diff options
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/ci.yml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index e28e344b5..0e08a5f06 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -244,8 +244,8 @@ jobs: - name: Configure run: | - set -x source $GITHUB_WORKSPACE/Tools/CI-linux-environment.sh + set -x if test -n "$CPP11"; then export CPPSTD=c++11 && export CSTD=c11; fi if test -n "$CPP14"; then export CPPSTD=c++14 && export CSTD=c11; fi @@ -273,8 +273,8 @@ jobs: - name: Test working-directory: build/build run: | - set -x source $GITHUB_WORKSPACE/Tools/CI-linux-environment.sh + set -x if test -z "$SWIGLANG"; then make $SWIGJOBS check-ccache; fi if test -z "$SWIGLANG"; then make $SWIGJOBS check-errors-test-suite; fi |