commit bash-20090108 snapshot

2026-08-07 02:32:27 +02:00 · 2011-12-07 09:35:09 -05:00
parent 012bac3904
commit dc9f44b307
146 changed files with 13566 additions and 12823 deletions
@@ -1430,7 +1430,7 @@ with_input_from_string (string, name)
   That is the true input location.  Rewind bash_input.location.string by
   that number of characters, so it points to the last character actually
   consumed by the parser. */
-void
+static void
 rewind_input_string ()
 {
  int xchars;