mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-08 10:25:18 +00:00
Code Activity

Fix bug in `Makefile` generation when emitting the command to build

Browse source 
the ".NET" bindings when in debug mode.

``;`` is a shell command separator so it needs to be quoted when
emitting ``/define:DEBUG;TRACE``.
This commit is contained in:
Dan Liew 2015-12-14 09:56:03 +00:00
parent 28eb21442e
commit d3d10490ea
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
scripts/mk_util.py
View file

@ -1535,7 +1535,7 @@ class DotNetDLLComponent(Component):
]
)
if DEBUG_MODE:
cscCmdLine.extend( ['/define:DEBUG;TRACE',
cscCmdLine.extend( ['"/define:DEBUG;TRACE"', # Needs to be quoted due to ``;`` being a shell command separator
'/debug+',
'/debug:full',
'/optimize-'