13 lines
417 B
Diff
13 lines
417 B
Diff
diff -up bash-4.2/print_cmd.c-orig bash-4.2/print_cmd.c
|
|
--- bash-4.2/print_cmd.c-orig 2013-12-04 13:04:35.000000000 +0100
|
|
+++ bash-4.2/print_cmd.c 2013-12-04 13:05:35.000000000 +0100
|
|
@@ -1394,7 +1394,7 @@ indent (amount)
|
|
for (i = 0; amount > 0; amount--)
|
|
indentation_string[i++] = ' ';
|
|
indentation_string[i] = '\0';
|
|
- cprintf (indentation_string);
|
|
+ cprintf ("%s", indentation_string);
|
|
}
|
|
|
|
static void
|