mirror of
https://github.com/Mercury-Language/mercury.git
synced 2025-12-16 14:25:56 +00:00
Fix a bug: the absence of a space between options could cause
Estimated hours taken: 0.1 Branches: main compiler/compile_target_code.m: Fix a bug: the absence of a space between options could cause two to run together, confusing the C compiler.
This commit is contained in:
@@ -543,7 +543,8 @@ compile_c_file(ErrorStream, PIC, C_File, O_File, Succeeded) -->
|
||||
globals__io_lookup_bool_option(target_debug, Target_Debug),
|
||||
( { Target_Debug = yes } ->
|
||||
globals__io_lookup_string_option(cflags_for_debug,
|
||||
Target_DebugOpt)
|
||||
Target_DebugOpt0),
|
||||
{ string__append(Target_DebugOpt0, " ", Target_DebugOpt) }
|
||||
;
|
||||
{ Target_DebugOpt = "" }
|
||||
),
|
||||
|
||||
Reference in New Issue
Block a user