From a9402303017052abc8b84fed6ff14641c42c8532 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 6 Dec 2015 19:14:53 -0800
Subject: [PATCH] make dotnet optional and recover from python installation
 mismatch. Pull requests #338, #340

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 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 00db88d30..47d60b2b3 100644
--- a/scripts/mk_util.py
+++ b/scripts/mk_util.py
@@ -1434,7 +1434,7 @@ class DotNetDLLComponent(Component):
         if IS_WINDOWS:
             # Using these flags under the mono compiler results in build errors.
             cscCmdLine.extend( [# What is the motivation for this?
-                                '/noconfig+',
+                                '/noconfig',
                                 '/nostdlib+',
                                 '/reference:mscorlib.dll',
                                 # Under mono this isn't neccessary as mono will search the system