mirror of
https://https.git.savannah.gnu.org/git/bash.git
synced 2026-07-01 01:20:00 +02:00
commit bash-20170106 snapshot
This commit is contained in:
@@ -5212,6 +5212,7 @@ execute_disk_command (words, redirects, command_line, pipe_in, pipe_out,
|
||||
#endif /* RESTRICTED_SHELL */
|
||||
|
||||
command = search_for_command (pathname, CMDSRCH_HASH|(stdpath ? CMDSRCH_STDPATH : 0));
|
||||
QUIT;
|
||||
|
||||
if (command)
|
||||
{
|
||||
|
||||
Reference in New Issue
Block a user