matthieu
/
dune
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Fix error message printing format syntax

This commit is contained in:
Jeremie Dimino 2017-03-08 15:13:21 +00:00
parent 3a86b3fefa
commit 8f78118ff5
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/future.ml
View File

@ -388,7 +388,7 @@ module Scheduler = struct
(Ansi_color.strip_colors_for_stderr output);
die ""
| WSIGNALED n ->
Printf.eprintf "\n@{<kwd>Command@} [@{<id>%d@}] got signal %s:\n\
Format.eprintf "\n@{<kwd>Command@} [@{<id>%d@}] got signal %s:\n\
@{<prompt>$@} %s\n%s%!"
job.id (signal_name n)
(Ansi_color.strip_colors_for_stderr job.command_line)