commit bash-20190719 snapshot

2026-07-06 03:40:50 +02:00 · 2019-07-22 09:24:14 -04:00
parent e2169ae94e
commit 194cfc28f8
26 changed files with 7379 additions and 890 deletions
@@ -201,7 +201,7 @@ report_error (format, va_alist)
  if (exit_immediately_on_error)
    {
      if (last_command_exit_value == 0)
-	last_command_exit_value = 1;
+	last_command_exit_value = EXECUTION_FAILURE;
      exit_shell (last_command_exit_value);
    }
 }