diff --git a/infer/lib/clang_wrappers/filter_args_and_run_fcp_clang.sh b/infer/lib/clang_wrappers/filter_args_and_run_fcp_clang.sh index 43c9c6772..c98e292e0 100755 --- a/infer/lib/clang_wrappers/filter_args_and_run_fcp_clang.sh +++ b/infer/lib/clang_wrappers/filter_args_and_run_fcp_clang.sh @@ -23,7 +23,8 @@ COMMAND=("${CLANG_COMPILER}${XX}") PREV="" for X in "$@" do - if [ "$X" == "-fembed-bitcode-marker" ]; then + if [ "$X" == "-fembed-bitcode-marker" \ + -o "$X" == "-fno-canonical-system-headers" ]; then continue elif [ "$X" == "armv7k" ] && [ "$PREV" == "-arch" ]; then # replace armv7k arch with armv7