diff options
Diffstat (limited to 'run_one_test')
| -rwxr-xr-x | run_one_test | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/run_one_test b/run_one_test index a67cfffa..f5aed24b 100755 --- a/run_one_test +++ b/run_one_test @@ -19,5 +19,5 @@ fi set -e -./debug_translate init.linux $(echo $FILES) /tmp/run_one_test.subx +./translate_subx_debug init.linux $(echo $FILES) /tmp/run_one_test.subx CFLAGS=$CFLAGS ./bootstrap --debug --trace run a.elf |