diff --git a/script/lib.sh b/script/lib.sh index 786fc51d..03e24796 100755 --- a/script/lib.sh +++ b/script/lib.sh @@ -22,5 +22,5 @@ function scan_build { extra_args+=("--use-c++=$CXX") fi - scan-build "${extra_args[@]}" --status-bugs "$@" + scan-build "${extra_args[@]}" --status-bugs -disable-checker deadcode.DeadStores "$@" }