Commit 550a38ef authored by Jan Kiene's avatar Jan Kiene
Browse files

remove redundant builds and set bash strict mode

parent f016e6dd

.gitlab-ci.yml

+2 −1
Original line number Diff line number Diff line
@@ -552,8 +552,9 @@ stages: 
    - *update-scripts-repo

    - *copy-ltv-files-to-testv-dir

    - python3 ci/remove_unsupported_testcases.py $PRM_FILES

    - *build-reference-and-dut-binaries



    - *build-reference-binaries

    - set -euxo pipefail

    - make_args="CLANG=$CLANG_NUM"

    - if [[ $CLANG_NUM == 3 ]]; then

    -   export UBSAN_OPTIONS="suppressions=scripts/ubsan_basop.supp,report_error_type=1"