7 Bug-Reported-by: worley@alum.mit.edu (Dale R. Worley)
8 Bug-Reference-ID: <201406100051.s5A0pCeB014978@hobgoblin.ariadne.com>
9 Bug-Reference-URL: http://lists.gnu.org/archive/html/bug-bash/2014-06/msg00028.html
13 There are a number of instances where `time' is not recognized as a reserved
14 word when the shell grammar says it should be.
16 Patch (apply with `patch -p0'):
20 @@ -2818,11 +2818,16 @@ time_command_acceptable ()
34 + case ')': /* only valid in case statement */
35 case BANG: /* ! time pipeline */
36 case TIME: /* time time pipeline */
37 case TIMEOPT: /* time -p time pipeline */
40 @@ -5130,11 +5130,16 @@ time_command_acceptable ()
54 + case ')': /* only valid in case statement */
55 case BANG: /* ! time pipeline */
56 case TIME: /* time time pipeline */
57 case TIMEOPT: /* time -p time pipeline */
61 regexp `^#define[ ]*PATCHLEVEL', since that's what support/mkversion.sh
62 looks for to find the patch level (for the sccs version string). */
64 -#define PATCHLEVEL 37
65 +#define PATCHLEVEL 38
67 #endif /* _PATCHLEVEL_H_ */