bash-format-string.patch

   1 diff -ur bash-4.2.orig/print_cmd.c bash-4.2/print_cmd.c
   2 --- bash-4.2.orig/print_cmd.c   2012-12-07 15:21:47.381111626 +0000
   3 +++ bash-4.2/print_cmd.c        2012-12-07 15:22:16.575674624 +0000
   4 @@ -1394,7 +1394,7 @@
   5    for (i = 0; amount > 0; amount--)
   6      indentation_string[i++] = ' ';
   7    indentation_string[i] = '\0';
   8 -  cprintf (indentation_string);
   9 +  cprintf ("%s", indentation_string);
  10  }
  11
  12  static void