commit bash-20180713 snapshot

2026-08-07 10:42:28 +02:00 · 2018-07-18 10:23:04 -04:00
parent a078e04c3d
commit 96efdbb5b4
16 changed files with 106 additions and 27 deletions
@@ -69,6 +69,9 @@ reader_loop ()

  our_indirection_level = ++indirection_level;

+  if (just_one_command)
+    reset_readahead_token ();
+
  while (EOF_Reached == 0)
    {
      int code;