diff options
| author | Sebastian Schmidt <yath@yath.de> | 2012-04-17 11:23:35 +0200 |
|---|---|---|
| committer | Sebastian Schmidt <yath@yath.de> | 2012-04-17 11:24:20 +0200 |
| commit | f4b417c62a4f272c4cf9a074d0f7a3a97201f9db (patch) | |
| tree | e2196f3b6361e2377c43ab47a3abf17d8f6afd77 /builtins/source.def | |
| parent | 791237e44695d2ee123c8a6f665ef074f5fadfbb (diff) | |
| download | external_bash-f4b417c62a4f272c4cf9a074d0f7a3a97201f9db.zip external_bash-f4b417c62a4f272c4cf9a074d0f7a3a97201f9db.tar.gz external_bash-f4b417c62a4f272c4cf9a074d0f7a3a97201f9db.tar.bz2 | |
Update to upstream bash 4.2
This upgrades bash to from 4.1-rc to 4.2-release. See CWRU/changelog for
changes.
Change-Id: I926269c300cf44fa25964b5b375a148fcf11c4b7
Diffstat (limited to 'builtins/source.def')
| -rw-r--r-- | builtins/source.def | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/builtins/source.def b/builtins/source.def index 72627db..71908b8 100644 --- a/builtins/source.def +++ b/builtins/source.def @@ -80,6 +80,8 @@ extern int errno; #endif /* !errno */ extern int posixly_correct; +extern int last_command_exit_value; +extern int executing_command_builtin; static void maybe_pop_dollar_vars __P((void)); @@ -151,6 +153,11 @@ source_builtin (list) if (source_searches_cwd == 0) { builtin_error (_("%s: file not found"), list->word->word); + if (posixly_correct && interactive_shell == 0 && executing_command_builtin == 0) + { + last_command_exit_value = 1; + jump_to_top_level (EXITPROG); + } return (EXECUTION_FAILURE); } else |