From a093780885d2a42f1392e244f0824318902435a1 Mon Sep 17 00:00:00 2001 From: Jules Villard Date: Tue, 29 Mar 2016 08:11:23 -0700 Subject: [PATCH] add configure to the list of make-like tools Summary:public Allow the use of `infer -- ./configure`. This can be useful if the full path to the compiler is recorded by the `./configure` command. That is the case for the samba source tree for instance (because `./configure` calls `waf configure` under the hood). Reviewed By: jeremydubreil Differential Revision: D3093065 fb-gh-sync-id: 2663418 fbshipit-source-id: 2663418 --- infer/lib/python/inferlib/capture/make.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/infer/lib/python/inferlib/capture/make.py b/infer/lib/python/inferlib/capture/make.py index 04e133afe..a64edb022 100644 --- a/infer/lib/python/inferlib/capture/make.py +++ b/infer/lib/python/inferlib/capture/make.py @@ -26,7 +26,7 @@ infer -- clang -c srcfile.m infer -- gcc -c srcfile.c''' ALIASED_COMMANDS = ['clang', 'clang++', 'cc', 'gcc', 'g++'] -BUILD_COMMANDS = ['make', 'waf'] +BUILD_COMMANDS = ['configure', 'make', 'waf'] SUPPORTED_COMMANDS = ALIASED_COMMANDS + BUILD_COMMANDS def gen_instance(*args):