From 70b10d53cf45da3351020e65a45a68946f18e644 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sun, 6 Dec 2015 22:17:36 -0800 Subject: [PATCH] fix build break - remove tabs Signed-off-by: Nikolaj Bjorner --- scripts/mk_util.py | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/scripts/mk_util.py b/scripts/mk_util.py index a2e93d34c..7e96f3b52 100644 --- a/scripts/mk_util.py +++ b/scripts/mk_util.py @@ -411,10 +411,10 @@ def check_dotnet(): monoCompilerExecutable = CSC monoCompilerPath = which(monoCompilerExecutable) if monoCompilerPath == None: - disable_dotnet() - print(("Could not find mono compiler ({}) in your PATH. Not building .NET bindings").format( + disable_dotnet() + print(("Could not find mono compiler ({}) in your PATH. Not building .NET bindings").format( monoCompilerExecutable)) - return + return CSC = monoCompilerPath # Check for gacutil (needed to install the dotnet bindings) @@ -1300,7 +1300,7 @@ class DLLComponent(Component): dllfile = '%s$(SO_EXT)' % self.dll_name dllInstallPath = os.path.join(INSTALL_LIB_DIR, dllfile) MakeRuleCmd.install_files(out, dllfile, dllInstallPath) - if not is_python_install_enabled(): + if not is_python_install_enabled(): return pythonPkgDirWithoutPrefix = strip_path_prefix(PYTHON_PACKAGE_DIR, PREFIX) if IS_WINDOWS: