diff options
Diffstat (limited to 'testsuite/tests/arch-power/exn_raise.ml')
-rw-r--r-- | testsuite/tests/arch-power/exn_raise.ml | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/testsuite/tests/arch-power/exn_raise.ml b/testsuite/tests/arch-power/exn_raise.ml index a68eb875ed..1ed4622f43 100644 --- a/testsuite/tests/arch-power/exn_raise.ml +++ b/testsuite/tests/arch-power/exn_raise.ml @@ -1,9 +1,9 @@ (* TEST - * arch_power - ** native - *** ocamlopt.byte - ocamlopt_flags = "-flarge-toc" - **** run + arch_power; + native; + ocamlopt_flags = "-flarge-toc"; + ocamlopt.byte; + run; *) (* GPR#8506 |