#5497

Z3Prover · Aug 23, 2021 · 9c7d9f0 · 9c7d9f0
1 parent 1975e48
commit 9c7d9f0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/scripts/mk_util.py b/scripts/mk_util.py
@@ -1735,7 +1735,7 @@ def mk_makefile(self, out):
             dotnetCmdLine.extend(['Release'])
 
         path = os.path.join(os.path.abspath(BUILD_DIR), ".")
-        dotnetCmdLine.extend(['-o', path])
+        dotnetCmdLine.extend(['-o', "\"%s\"" % path])
 
         MakeRuleCmd.write_cmd(out, ' '.join(dotnetCmdLine))
         out.write('\n')