diff options
-rw-r--r-- | lib/target.exp | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/lib/target.exp b/lib/target.exp index 36ae639..7dca4ee 100644 --- a/lib/target.exp +++ b/lib/target.exp @@ -790,6 +790,9 @@ proc default_target_compile {source destfile type options} { } if { [lindex $status 1] ne "" } { verbose "output is:\n[lindex $status 1]" 2 + # FIXME: To help debug random issues + verbose -log "output is:\n[lindex $status 1]" + verbose -log "comp_output (pruned) is:\n${comp_output}" } if { [lindex $status 0] != 0 && $comp_output eq "" } { set comp_output "exit status is [lindex $status 0]" |