specifying format of RAW files

When playing RAW audio files, the specified format seems to
only take effect for the first file. Subsequent files fail
to play because of unspecified rate etc.

$ play -c 1 -r 48000 -e float -b 32 pcm1.raw	# OK
$ play -c 1 -r 48000 -e float -b 32 pcm2.raw	# OK
$ play -c 1 -r 48000 -e float -b 32 pcm*.raw
  play FAIL formats: bad input format for file `pcm2.raw':
  sampling rate was not specified

Is this intended, or should the specified format be used
for the subsequent files as well?

(That would probably not make sense for self-describing formats:
$ play -c 1 -r 48000 -e float -b 32 pcm1.raw file.wav file.mp3 )

	Jan


------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot