It is still only emitted if we are debugging in order not to cause
unnecessary alarm. Note this code needs a better long term fix, this
is still a hack.
---
customize/customize_run.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/customize/customize_run.ml b/customize/customize_run.ml
index f2b45af..a4d7c1a 100644
--- a/customize/customize_run.ml
+++ b/customize/customize_run.ml
@@ -415,6 +415,6 @@ exec >>%s 2>&1
(try ignore (g#debug "sh" [| "fuser"; "-k";
"/sysroot" |])
with exn ->
if verbose () then
- printf (f_"%s: %s (ignored)\n") prog (Printexc.to_string exn)
+ warning (f_"%s (ignored)") (Printexc.to_string exn)
);
g#ping_daemon () (* tiny delay after kill *)
--
2.7.4