diff --git a/scripts/basop_create_ignorelist_for_ubsan.py b/scripts/basop_create_ignorelist_for_ubsan.py index 7369fc6c9f59730027337a26d6d1bf64e4945040..e6dfdfa0752daf92b00577538931afe44636352b 100644 --- a/scripts/basop_create_ignorelist_for_ubsan.py +++ b/scripts/basop_create_ignorelist_for_ubsan.py @@ -1,7 +1,7 @@ import pathlib -all_c_files = pathlib.Path(".").glob("lib_*/*.c") -ivas_c_files = pathlib.Path(".").glob("lib_*/ivas*.c") +all_c_files = pathlib.Path(".").glob("lib_*/*.[ch]") +ivas_c_files = pathlib.Path(".").glob("lib_*/ivas*.[ch]") non_ivas_c_files = sorted(set(all_c_files) - set(ivas_c_files)) with open("ubsan_ignorelist.txt", "w") as f: