From 4bfe20647bd17092179dbed8f9390017456652ec Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Fri, 27 Mar 2015 02:43:21 -0700 Subject: [PATCH] remove tab in mk_util.py Signed-off-by: Nikolaj Bjorner --- scripts/mk_util.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/mk_util.py b/scripts/mk_util.py index 0f4fdb216..e13bbada3 100644 --- a/scripts/mk_util.py +++ b/scripts/mk_util.py @@ -565,7 +565,7 @@ def parse_options(): if not IS_WINDOWS: raise MKException('x64 compilation mode can only be specified when using Visual Studio') VS_X64 = True - elif opt in ('--x86'): + elif opt in ('--x86'): LINUX_X64=False elif opt in ('-h', '--help'): display_help(0)