From a28cb16aeb266fd41c0ce2ddbe0a0d8d2cbf20de Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Tue, 7 Jul 2015 17:50:55 +0200
Subject: Diab defines w_char to be unsigned short.

---
 driver/Driver.ml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'driver/Driver.ml')

diff --git a/driver/Driver.ml b/driver/Driver.ml
index 1b58fe61..1dce08ac 100644
--- a/driver/Driver.ml
+++ b/driver/Driver.ml
@@ -661,7 +661,9 @@ let _ =
     Printexc.record_backtrace true;
     Machine.config :=
       begin match Configuration.arch with
-      | "powerpc" -> Machine.ppc_32_bigendian
+      | "powerpc" -> if Configuration.system = "linux"
+                     then Machine.ppc_32_bigendian
+                     else Machine.ppc_32_diab_bigendian
       | "arm"     -> Machine.arm_littleendian
       | "ia32"    -> if Configuration.abi = "macosx"
                      then Machine.x86_32_macosx
-- 
cgit