diff options
Diffstat (limited to 'other/analysis/run-infer')
-rwxr-xr-x | other/analysis/run-infer | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/other/analysis/run-infer b/other/analysis/run-infer index 2a897227..3b168d08 100755 --- a/other/analysis/run-infer +++ b/other/analysis/run-infer | |||
@@ -1,8 +1,8 @@ | |||
1 | #!/bin/sh | 1 | #!/bin/bash |
2 | 2 | ||
3 | # Infer ignores everything that's not in the "current file". | 3 | # Infer ignores everything that's not in the "current file". |
4 | SKIP_LINES=1 | 4 | SKIP_LINES=1 |
5 | 5 | ||
6 | . other/analysis/gen-file.sh | 6 | . other/analysis/gen-file.sh |
7 | 7 | ||
8 | infer -- clang++ -fsyntax-only amalgamation.cc $CPPFLAGS | 8 | infer -- clang++ -fsyntax-only amalgamation.cc "${CPPFLAGS[@]}" |