From 990d9daf10115d6b331ecba073d14761385f93cc Mon Sep 17 00:00:00 2001 From: Boris Yakobowski Date: Mon, 25 Feb 2019 08:49:52 -0800 Subject: [PATCH] [infer][PR] Fix minor typo Summary: Pull Request resolved: https://github.com/facebook/infer/pull/1067 Differential Revision: D14208734 Pulled By: jvillard fbshipit-source-id: 6b8de62a8 --- infer/src/dune.common.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/infer/src/dune.common.in b/infer/src/dune.common.in index a732ed973..efc34cd8e 100644 --- a/infer/src/dune.common.in +++ b/infer/src/dune.common.in @@ -29,7 +29,7 @@ let java = is_yes "@BUILD_JAVA_ANALYZERS@" let facebook = is_yes "@IS_FACEBOOK_TREE@" -let extra_cflags = if "@EXTRA_CFLAGS" = "" then [] else ["@EXTRA_CFLAGS@"] +let extra_cflags = if "@EXTRA_CFLAGS@" = "" then [] else ["@EXTRA_CFLAGS@"] let common_cflags = let fatal_warnings =