From 7bbdb7714fa5cd6d82f573a0f14292b5543f9aea Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <cwinter@microsoft.com>
Date: Thu, 3 Nov 2016 17:20:39 +0000
Subject: [PATCH] Added signed .NET assemblies in unix builds

---
 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 868f9b9c1..873af8432 100644
--- a/scripts/mk_util.py
+++ b/scripts/mk_util.py
@@ -82,7 +82,7 @@ Z3PY_SRC_DIR=None
 VS_PROJ = False
 TRACE = False
 DOTNET_ENABLED=False
-DOTNET_KEY_FILE=None
+DOTNET_KEY_FILE=getenv("Z3_DOTNET_KEY_FILE", None)
 JAVA_ENABLED=False
 ML_ENABLED=False
 PYTHON_INSTALL_ENABLED=False