From 60ba54ffe01be85ec6f1d6948c1ca4b6db1cf165 Mon Sep 17 00:00:00 2001 From: Alex AUVOLAT Date: Sun, 25 May 2014 12:29:07 +0200 Subject: Add pretty colors. --- src/manager.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/manager.ml') diff --git a/src/manager.ml b/src/manager.ml index 2e856fd..1e6a0df 100644 --- a/src/manager.ml +++ b/src/manager.ml @@ -265,7 +265,7 @@ let () = dup2 m2p_p stdin; dup2 p2m_p stdout; let args = Array.of_list - ([!program] @ + ([!program; "-col"; string_of_int (i+1)] @ (if i = 0 then ["-org"] else []) @ (if !dbg_out then ["-dbg"] else [])) in execv !program args -- cgit v1.2.3