mirror of
https://https.git.savannah.gnu.org/git/bash.git
synced 2026-07-09 05:00:49 +02:00
commit bash-20171110 snapshot
This commit is contained in:
+4
-2
@@ -1356,8 +1356,10 @@ time_command (command, asynchronous, pipe_in, pipe_out, fds_to_close)
|
||||
command->flags &= ~(CMD_TIME_PIPELINE|CMD_TIME_POSIX);
|
||||
code = setjmp_nosigs (top_level);
|
||||
if (code == NOT_JUMPED)
|
||||
rv = execute_command_internal (command, asynchronous, pipe_in, pipe_out, fds_to_close);
|
||||
command->flags = old_flags;
|
||||
{
|
||||
rv = execute_command_internal (command, asynchronous, pipe_in, pipe_out, fds_to_close);
|
||||
command->flags = old_flags;
|
||||
}
|
||||
COPY_PROCENV (save_top_level, top_level);
|
||||
|
||||
rs = us = ss = 0;
|
||||
|
||||
Reference in New Issue
Block a user