Parent Directory
| 
Revision Log
| 
Patch
| revision 124 by abate, Tue Jul 10 17:08:19 2007 UTC | revision 125 by abate, Tue Jul 10 17:08:25 2007 UTC | |
|---|---|---|
| # | Line 27 | Line 27 |
| 27 | let input = Stream.of_channel chan in | let input = Stream.of_channel chan in |
| 28 | let ok = Cduce.run ppf ppf_err input in | let ok = Cduce.run ppf ppf_err input in |
| 29 | if s <> "" then close_in chan; | if s <> "" then close_in chan; |
| 30 | if not ok then exit 1 | if not ok then (Format.fprintf ppf_err "@."; exit 1) |
| 31 | ||
| 32 | ||
| 33 | ||
| # | Line 60 | Line 60 |
| 60 | ||
| 61 | ||
| 62 | ||
| 63 | let () = main () | let () = main () |
|
||||||||
| CVS Admin">CVS Admin | ViewVC Help |
| Powered by ViewVC 1.1.5 |