diff options
Diffstat (limited to 'testsuite/tests/frame-pointers/effects.ml')
-rw-r--r-- | testsuite/tests/frame-pointers/effects.ml | 10 |
1 files changed, 4 insertions, 6 deletions
diff --git a/testsuite/tests/frame-pointers/effects.ml b/testsuite/tests/frame-pointers/effects.ml index e14633a374..2aa7012606 100644 --- a/testsuite/tests/frame-pointers/effects.ml +++ b/testsuite/tests/frame-pointers/effects.ml @@ -1,10 +1,8 @@ (* TEST - -* frame_pointers -** native -readonly_files = "fp_backtrace.c" -all_modules = "${readonly_files} effects.ml" - + frame_pointers; + readonly_files = "fp_backtrace.c"; + all_modules = "${readonly_files} effects.ml"; + native; *) open Printf |