summaryrefslogtreecommitdiff
path: root/other/analysis/run-infer
diff options
context:
space:
mode:
Diffstat (limited to 'other/analysis/run-infer')
-rwxr-xr-xother/analysis/run-infer4
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".
4SKIP_LINES=1 4SKIP_LINES=1
5 5
6. other/analysis/gen-file.sh 6. other/analysis/gen-file.sh
7 7
8infer -- clang++ -fsyntax-only amalgamation.cc $CPPFLAGS 8infer -- clang++ -fsyntax-only amalgamation.cc "${CPPFLAGS[@]}"