Commit 6d3918bc authored by Jan Kiene's avatar Jan Kiene
Browse files

correct make_args

parent 2143941b

main-basop.yml

+2 −1
Original line number Diff line number Diff line
@@ -1542,13 +1542,14 @@ renderer-sanitizer: 


    - python3 scripts/basop_create_ignorelist_for_ubsan.py



    - set -euo pipefail

    - declare -A sanitizer_to_clangnum

    - sanitizer_to_clangnum["MSAN"]=1

    - sanitizer_to_clangnum["ASAN"]=2

    - sanitizer_to_clangnum["USAN"]=3



    - make clean

    - make_args="-j CLANG=$CLANG_NUM"

    - make_args="-j CLANG=${sanitizer_to_clangnum["$SANITIZER"]}"

    - |

      if [ $SANITIZER == "USAN" ]; then

          make_args="$make_args IGNORELIST=1"