[PATCH] widl: Allow switching between 32 and 64 bit ARM with the -m32/64 option

[Martin Storsjo]

Signed-off-by: Martin Storsjo 
---
 tools/widl/widl.c | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/tools/widl/widl.c b/tools/widl/widl.c
index 8da887ea636..992eef73e82 100644
--- a/tools/widl/widl.c
+++ b/tools/widl/widl.c
@@ -796,8 +796,12 @@ int main(int argc,char *argv[])
       if (pointer_size == 4) target_cpu = CPU_x86;
       else pointer_size = 8;
       break;
+  case CPU_ARM:
+      if (pointer_size == 8) target_cpu = CPU_ARM64;
+      else pointer_size = 4;
+      break;
   case CPU_ARM64:
-      if (pointer_size == 4) error( "Cannot build 32-bit code for this CPU\n" );
+      if (pointer_size == 4) target_cpu = CPU_ARM;
       pointer_size = 8;
       break;
   case CPU_POWERPC64: