Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-12-15 12:03:38 -0800 (Wed, 15 Dec 2004)
Revision: 698
Log message:
Parenthesized shell commands (bug #315) are now handled properly.
Changes | Path |
+36 -0 | omake/src/eval/omake_rule.ml |
+91 -3 | omake/src/shell/omake_shell_job.ml |
+109 -43 | omake/src/shell/omake_shell_parse.mly |
+13 -1 | omake/src/shell/omake_shell_type.ml |