diff options
Diffstat (limited to 'testsuite/tests/frame-pointers/c_call.ml')
| -rw-r--r-- | testsuite/tests/frame-pointers/c_call.ml | 10 |
1 files changed, 4 insertions, 6 deletions
diff --git a/testsuite/tests/frame-pointers/c_call.ml b/testsuite/tests/frame-pointers/c_call.ml index c2493b3a99..7d48b4947d 100644 --- a/testsuite/tests/frame-pointers/c_call.ml +++ b/testsuite/tests/frame-pointers/c_call.ml @@ -1,10 +1,8 @@ (* TEST - -* frame_pointers -** native -readonly_files = "fp_backtrace.c c_call_.c" -all_modules = "${readonly_files} c_call.ml" - + frame_pointers; + readonly_files = "fp_backtrace.c c_call_.c"; + all_modules = "${readonly_files} c_call.ml"; + native; *) external fp_backtrace : unit -> unit = "fp_backtrace" |