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 @@
-#!/bin/sh
+#!/bin/bash
 # Infer ignores everything that's not in the "current file".
 SKIP_LINES=1
 . other/analysis/gen-file.sh
-infer -- clang++ -fsyntax-only amalgamation.cc $CPPFLAGS
+infer -- clang++ -fsyntax-only amalgamation.cc "${CPPFLAGS[@]}"

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[@]}"