|
@@ -1,7 +1,7 @@
|
|
|
(* setup.ml generated for the first time by OASIS v0.4.5 *)
|
|
|
|
|
|
(* OASIS_START *)
|
|
|
-(* DO NOT EDIT (digest: e91b030c955ca4285ff7faa765505e6d) *)
|
|
|
+(* DO NOT EDIT (digest: b10b44468a94dc861432631e29b9872b) *)
|
|
|
(*
|
|
|
Regenerated by OASIS v0.4.5
|
|
|
Visit http://oasis.forge.ocamlcore.org for more information and
|
|
@@ -6809,7 +6809,7 @@ let setup_t =
|
|
|
CustomPlugin.Test.main
|
|
|
{
|
|
|
CustomPlugin.cmd_main =
|
|
|
- [(OASISExpr.EBool true, ("$run_test", []))];
|
|
|
+ [(OASISExpr.EBool true, ("$run_test", ["-q"]))];
|
|
|
cmd_clean = [(OASISExpr.EBool true, None)];
|
|
|
cmd_distclean = [(OASISExpr.EBool true, None)]
|
|
|
})
|
|
@@ -6824,7 +6824,7 @@ let setup_t =
|
|
|
CustomPlugin.Test.clean
|
|
|
{
|
|
|
CustomPlugin.cmd_main =
|
|
|
- [(OASISExpr.EBool true, ("$run_test", []))];
|
|
|
+ [(OASISExpr.EBool true, ("$run_test", ["-q"]))];
|
|
|
cmd_clean = [(OASISExpr.EBool true, None)];
|
|
|
cmd_distclean = [(OASISExpr.EBool true, None)]
|
|
|
})
|
|
@@ -6837,7 +6837,7 @@ let setup_t =
|
|
|
CustomPlugin.Test.distclean
|
|
|
{
|
|
|
CustomPlugin.cmd_main =
|
|
|
- [(OASISExpr.EBool true, ("$run_test", []))];
|
|
|
+ [(OASISExpr.EBool true, ("$run_test", ["-q"]))];
|
|
|
cmd_clean = [(OASISExpr.EBool true, None)];
|
|
|
cmd_distclean = [(OASISExpr.EBool true, None)]
|
|
|
})
|
|
@@ -6988,7 +6988,7 @@ let setup_t =
|
|
|
{
|
|
|
test_type = (`Test, "custom", Some "0.4");
|
|
|
test_command =
|
|
|
- [(OASISExpr.EBool true, ("$run_test", []))];
|
|
|
+ [(OASISExpr.EBool true, ("$run_test", ["-q"]))];
|
|
|
test_custom =
|
|
|
{
|
|
|
pre_command = [(OASISExpr.EBool true, None)];
|
|
@@ -7019,7 +7019,7 @@ let setup_t =
|
|
|
};
|
|
|
oasis_fn = Some "_oasis";
|
|
|
oasis_version = "0.4.5";
|
|
|
- oasis_digest = Some "].1\244rq\174\023\156{h\176\194y\234s";
|
|
|
+ oasis_digest = Some "Q\195\220\231$U\174F\022A>\026\200\212\023n";
|
|
|
oasis_exec = None;
|
|
|
oasis_setup_args = [];
|
|
|
setup_update = false
|