git.annexia.org
/
goaljobs.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
23355e4
)
shout/shlines: Echo the output from these commands as it happens.
author
Richard W.M. Jones
<rjones@redhat.com>
Fri, 20 Sep 2013 13:19:09 +0000
(14:19 +0100)
committer
Richard W.M. Jones
<rjones@redhat.com>
Fri, 20 Sep 2013 13:19:09 +0000
(14:19 +0100)
goaljobs.ml
patch
|
blob
|
history
diff --git
a/goaljobs.ml
b/goaljobs.ml
index
3be5b51
..
e83f00e
100644
(file)
--- 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