From 21663897b9d273742b51cd1626609eb6fa24bdce Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Fri, 20 Sep 2013 14:19:09 +0100 Subject: [PATCH] shout/shlines: Echo the output from these commands as it happens. --- goaljobs.ml | 1 + 1 file changed, 1 insertion(+) diff --git a/goaljobs.ml b/goaljobs.ml index 3be5b51..e83f00e 100644 --- a/goaljobs.ml +++ b/goaljobs.ml @@ -275,6 +275,7 @@ let do_shlines script = let lines = ref [] in let rec loop () = let line = input_line chan in + eprintf "%s\n%!" line; lines := line :: !lines; loop () in -- 1.8.3.1