Fix typo in WCE section in VC-32.pl [from HEAD].

diff --git a/util/pl/VC-32.pl b/util/pl/VC-32.pl
index 7932cb005a988054e045c8b764406d3313e2221c..f9ecfa36d609db6279847d22947c64f9235e726c 100644 (file)
--- a/util/pl/VC-32.pl
+++ b/util/pl/VC-32.pl
@@ -54,7 +54,7 @@ elsif ($FLAVOR =~ /CE/)
     SWITCH: for($wcetgt) {
        /^X86/          && do { $wcecdefs.=" -Dx86 -D_X86_ -D_i386_ -Di_386_";
                                $wcelflag.=" /machine:IX86";    last; };
-       /^ARM4[IT]/     && do { $wcecdefs.=" -DARM -D_ARM_ -D$wcetgt";
+       /^ARMV4[IT]/    && do { $wcecdefs.=" -DARM -D_ARM_ -D$wcetgt";
                                $wcecdefs.=" -DTHUMB -D_THUMB_" if($wcetgt=~/T$/);
                                $wcecdefs.=" -QRarch4T -QRinterwork-return";
                                $wcelflag.=" /machine:THUMB";   last; };