diff options
Diffstat (limited to 'other/analysis/run-clang-analyze')
-rwxr-xr-x | other/analysis/run-clang-analyze | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/other/analysis/run-clang-analyze b/other/analysis/run-clang-analyze index 0e6d9af0..d790de00 100755 --- a/other/analysis/run-clang-analyze +++ b/other/analysis/run-clang-analyze | |||
@@ -1,8 +1,8 @@ | |||
1 | #!/bin/sh | 1 | #!/bin/bash |
2 | 2 | ||
3 | . other/analysis/gen-file.sh | 3 | . other/analysis/gen-file.sh |
4 | 4 | ||
5 | echo "Running Clang static analyzer" | 5 | echo "Running Clang static analyzer" |
6 | clang++ --analyze amalgamation.cc \ | 6 | clang++ --analyze amalgamation.cc \ |
7 | $CPPFLAGS \ | 7 | "${CPPFLAGS[@]}" \ |
8 | -std=c++11 | 8 | -std=c++11 |