diff options
Diffstat (limited to 'app-shells/bash/files/bash-4.3-parse-time-keyword.patch')
| -rw-r--r-- | app-shells/bash/files/bash-4.3-parse-time-keyword.patch | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/app-shells/bash/files/bash-4.3-parse-time-keyword.patch b/app-shells/bash/files/bash-4.3-parse-time-keyword.patch new file mode 100644 index 00000000000..cd516e5c66c --- /dev/null +++ b/app-shells/bash/files/bash-4.3-parse-time-keyword.patch @@ -0,0 +1,30 @@ +https://lists.gnu.org/archive/html/bug-bash/2014-06/msg00034.html + +*** ../bash-4.3-patched/parse.y 2014-04-07 11:56:12.000000000 -0400 +--- parse.y 2014-06-11 10:25:53.000000000 -0400 +*************** +*** 2789,2797 **** + case OR_OR: + case '&': + case DO: + case THEN: + case ELSE: + case '{': /* } */ +! case '(': /* ) */ + case BANG: /* ! time pipeline */ + case TIME: /* time time pipeline */ +--- 2789,2802 ---- + case OR_OR: + case '&': ++ case WHILE: + case DO: ++ case UNTIL: ++ case IF: + case THEN: ++ case ELIF: + case ELSE: + case '{': /* } */ +! case '(': /* )( */ +! case ')': /* only valid in case statement */ + case BANG: /* ! time pipeline */ + case TIME: /* time time pipeline */ |