diff options
| author | Alasdair Armstrong | 2018-12-14 15:17:42 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-12-14 15:17:42 +0000 |
| commit | 2dfcbdeedb0ac40d4865aaf5c2202dfba95f4a38 (patch) | |
| tree | e267b9d9166e3548f71508d9d68b8ea1f35a304d /src | |
| parent | bfb20a209d1b72c832b4376d6d3c51d39970ef2f (diff) | |
Add a few more tests for Jenkins
Some of the output from the tests scripts is odd on Jenkins, try to
fix this by flushing stdout more regularly in the test scripts
Diffstat (limited to 'src')
| -rw-r--r-- | src/ocaml_backend.ml | 2 | ||||
| -rw-r--r-- | src/parser.mly | 6 |
2 files changed, 1 insertions, 7 deletions
diff --git a/src/ocaml_backend.ml b/src/ocaml_backend.ml index cfd79290..d075e693 100644 --- a/src/ocaml_backend.ml +++ b/src/ocaml_backend.ml @@ -978,7 +978,7 @@ let ocaml_compile spec defs generator_types = let tags_file = if !opt_ocaml_coverage then "_tags_coverage" else "_tags" in let _ = Unix.system ("cp -r " ^ sail_dir ^ "/lib/" ^ tags_file ^ " _tags") in let out_chan = open_out (spec ^ ".ml") in - if !opt_ocaml_coverage then + if !opt_ocaml_coverage then ignore(Unix.system ("cp -r " ^ sail_dir ^ "/lib/myocamlbuild_coverage.ml myocamlbuild.ml")); ocaml_pp_defs out_chan defs generator_types; close_out out_chan; diff --git a/src/parser.mly b/src/parser.mly index 6344db97..66902953 100644 --- a/src/parser.mly +++ b/src/parser.mly @@ -319,12 +319,6 @@ kid: | TyVar { mk_kid $1 $startpos $endpos } -kid_list: - | kid - { [$1] } - | kid kid_list - { $1 :: $2 } - num_list: | Num { [$1] } |