diff options
Diffstat (limited to 'testsuite/tests/asmgen/checkbound.cmm')
| -rw-r--r-- | testsuite/tests/asmgen/checkbound.cmm | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/testsuite/tests/asmgen/checkbound.cmm b/testsuite/tests/asmgen/checkbound.cmm index 616c1edc77..a2607b49d2 100644 --- a/testsuite/tests/asmgen/checkbound.cmm +++ b/testsuite/tests/asmgen/checkbound.cmm @@ -1,7 +1,7 @@ (* TEST -readonly_files = "main.c" -arguments = "-DCHECKBOUND main.c" -* asmgen + readonly_files = "main.c"; + arguments = "-DCHECKBOUND main.c"; + asmgen; *) (**************************************************************************) |