diff --git a/script/scan-build b/script/scan-build new file mode 100755 index 00000000..c255d674 --- /dev/null +++ b/script/scan-build @@ -0,0 +1,7 @@ +#!/usr/bin/env bash + +set -e + +. script/lib.sh + +scan_build make "$@"