mirror of
https://https.git.savannah.gnu.org/git/bash.git
synced 2026-11-12 01:33:55 +01:00
fix small race condition when using lastpipe and adding the last process to the pipeline; fix bug that could cause the shell to exit even if execfail' is enabled if errexit' is enabled and the pathname to exec doesn't exist
This commit is contained in:
1 parent
1c20880e16
commit
7cfdb340d2
10 files changed
+5854
-21
No files matched your search
@@ -125,7 +125,7 @@ get_name_for_error (void)
|
||||
void
|
||||
file_error (const char *filename)
|
||||
{
|
||||
report_error ("%s: %s", filename, strerror (errno));
|
||||
internal_error ("%s: %s", filename, strerror (errno));
|
||||
}
|
||||
|
||||
void
|
||||
@@ -163,7 +163,7 @@ programming_error (const char *format, ...)
|
||||
}
|
||||
|
||||
/* Print an error message and, if `set -e' has been executed, exit the
|
||||
shell. Used in this file by file_error and programming_error. Used
|
||||
shell. Used in this file by programming_error. Used
|
||||
outside this file mostly to report substitution and expansion errors,
|
||||
and for bad invocation options. */
|
||||
void
|
||||
|
||||
Reference in new issue
Block a user