From eccf03aaac618bb33638950ba8d02387fa9fff51 Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <cwinter@microsoft.com>
Date: Mon, 7 Mar 2016 11:21:06 +0000
Subject: [PATCH] build fix for non-windows platforms

---
 scripts/mk_unix_dist.py | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/scripts/mk_unix_dist.py b/scripts/mk_unix_dist.py
index 60a7cbdca..999d495a3 100644
--- a/scripts/mk_unix_dist.py
+++ b/scripts/mk_unix_dist.py
@@ -65,6 +65,7 @@ def parse_options():
                                                                    'silent',
                                                                    'force',
                                                                    'nojava',
+                                                                   'nodotnet',
                                                                    'githash'
                                                                    ])
     for opt, arg in options:
@@ -95,7 +96,7 @@ def check_build_dir(path):
 # Create a build directory using mk_make.py
 def mk_build_dir(path):
     if not check_build_dir(path) or FORCE_MK:
-        opts = ["python", os.path.join('scripts', 'mk_make.py'), "-b", path, "--static"]
+        opts = ["python", os.path.join('scripts', 'mk_make.py'), "-b", path, "--staticlib"]
         if DOTNET_ENABLED:
             opts.append('--dotnet')            
         if JAVA_ENABLED: