From 9c7d9f06ed3ce7cc80ee1017cf886d48821a9b5a Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sun, 22 Aug 2021 17:22:00 -0700 Subject: [PATCH] #5497 --- 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 2c584ffba..2b4b6179e 100644 --- a/scripts/mk_util.py +++ b/scripts/mk_util.py @@ -1735,7 +1735,7 @@ class DotNetDLLComponent(Component): 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')