diff options
| author | iphydf <iphydf@users.noreply.github.com> | 2020-05-04 02:19:14 +0100 |
|---|---|---|
| committer | iphydf <iphydf@users.noreply.github.com> | 2020-05-05 01:53:01 +0100 |
| commit | c1a2ea3309969608a5553c34fa4199b05f20abc2 (patch) | |
| tree | 1ad836defd832a87085ec7c717203d5414742784 /other/analysis/run-infer | |
| parent | f8ab7218f0eb752b4f936b4686be313921be1da6 (diff) | |
Use bash arrays instead of strings for static analysis scripts.
These are more robust wrt. spaces in names.
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[@]}" |