diff options
| -rw-r--r-- | asmcomp/proc_power.ml | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/asmcomp/proc_power.ml b/asmcomp/proc_power.ml index be5f0225d..3fbfd3ed4 100644 --- a/asmcomp/proc_power.ml +++ b/asmcomp/proc_power.ml @@ -32,8 +32,9 @@ let powerpc = let elf = match Config.system with - "elf" -> false - | _ -> true + "aix" -> false + | "elf" -> true + | _ -> fatal_error "wrong $(SYSTEM)" (* Exceptions raised to signal cases not handled here *) |