diff options
Diffstat (limited to 'lang/ocaml/files/patch-asmcomp_power_arch.ml')
| -rw-r--r-- | lang/ocaml/files/patch-asmcomp_power_arch.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lang/ocaml/files/patch-asmcomp_power_arch.ml b/lang/ocaml/files/patch-asmcomp_power_arch.ml index 47d5a54f4a11..5ac77d6bfa11 100644 --- a/lang/ocaml/files/patch-asmcomp_power_arch.ml +++ b/lang/ocaml/files/patch-asmcomp_power_arch.ml @@ -1,6 +1,6 @@ ---- asmcomp/power/arch.ml.orig 2019-12-02 10:44:34 UTC +--- asmcomp/power/arch.ml.orig 2024-02-01 14:00:12 UTC +++ asmcomp/power/arch.ml -@@ -28,7 +28,7 @@ type abi = ELF32 | ELF64v1 | ELF64v2 +@@ -28,7 +28,7 @@ let abi = let abi = match Config.model with | "ppc" -> ELF32 |