diff options
| -rw-r--r-- | aarch64/elfmain.sail | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/aarch64/elfmain.sail b/aarch64/elfmain.sail index cb3edacc..152f4ed8 100644 --- a/aarch64/elfmain.sail +++ b/aarch64/elfmain.sail @@ -67,7 +67,8 @@ function Step_CPU() = { () }, Error_Implementation_Defined(s) => { - print(concat_str("Ignoring IMPLEMENTATION_DEFINED ", concat_str(s, "\n"))); + print(concat_str("IMPLEMENTATION_DEFINED ", concat_str(s, "\n"))); + exit(); } } }; |