From 93c59ffbd94190ab244972beb63fbb364dda6171 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 11 Dec 2018 15:48:33 -0800
Subject: [PATCH] update script to sign assembly

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 scripts/mk_util.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/scripts/mk_util.py b/scripts/mk_util.py
index 83ae3d455..e4e8728fe 100644
--- a/scripts/mk_util.py
+++ b/scripts/mk_util.py
@@ -1867,6 +1867,7 @@ class DotNetCoreDLLComponent(Component):
         key = ""
         if not self.key_file is None:
             key = "<AssemblyOriginatorKeyFile>%s</AssemblyOriginatorKeyFile>" % self.key_file
+            key += "\n<SignAssembly>true</SignAssembly>"
 
         if VS_X64:
             platform = 'x64'