commit 22d77a209f05be7a461bf24b9fb1133e662b13f3
author Andres AG <andres.amayagarcia@arm.com> Thu Feb 02 14:36:49 2017 +0000
committer Simon Butcher <simon.butcher@arm.com> Sat Feb 25 21:27:17 2017 +0000
tree 8e85183a45bd5e5161d468624918279accc18116
parent 746edf4e75e686075f0659701151582b56cb4ffb

Fix generate_code.pl to handle escaped :

tests/scripts/generate_code.pl

diff --git a/tests/scripts/generate_code.pl b/tests/scripts/generate_code.pl
index 078e82d..e13a2d0 100755
--- a/tests/scripts/generate_code.pl
+++ b/tests/scripts/generate_code.pl
@@ -139,7 +139,7 @@
             $param_defs .= "    char *param$i = params[$i];\n";
             $param_checks .= "    if( verify_string( &param$i ) != 0 ) return( 2 );\n";
             push @dispatch_params, "param$i";
-            $mapping_regex .= ":[^:\n]+";
+            $mapping_regex .= ":(?:\\\\.|[^:\n])+";
         }
         else
         {