syntax error near unexpected token `time'

[Andre Majorel]

Funny one :

  $ bash -c 'echo a | time cat'
  a
  [/usr/bin/time output deleted]

On the other hand :

  $ bash -c 'echo a |
  time cat'
  bash: -c: line 1: syntax error near unexpected token `time'
  bash: -c: line 1: `time cat'
  [$PS2 deleted]

Dash, ksh and zsh accept either form.

That was with Bash 4.2.37. If it's been fixed in a later
version, sorry for the noise.

-- 
André Majorel http://www.teaser.fr/~amajorel/