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: