gdb/
	* reply_mig_hack.awk: Don't expect to see the auto keyword.
Based on a patch by David Michael <fedora.dm0@gmail.com>.
+2014-02-16  Thomas Schwinge  <thomas@codesourcery.com>
+
+       * reply_mig_hack.awk: Don't expect to see the auto keyword.
+
 2014-02-14  Doug Evans  <dje@google.com>
 
        * target.c (target_write_partial): Fix result type.
 
   print; next;
 }
 
-parse_phase == 5 && /^[ \t]*(auto|static) const mach_msg_type_t/ {
+parse_phase == 5 && /^[ \t]*(auto |static |)const mach_msg_type_t/ {
   # The type check structure for an argument.
-  arg_check_name[num_checks] = $4;
+  arg_check_name[num_checks] = $(NF - 2);
   num_checks++;
   print; next;
 }