Does anyone know a system / platforms where /bin/sh has this bug? I had a note in texi2dvi that DEC Ultrix 4.3 and Digital Unix failed to handle "$@" right. However, Nelson just told me that more recent dec os's, OSF/1 4.0 and 5.0, handle "$@" correctly. So, I suggest using "$@". Seems like the least evil.