:
echo "$*" | tr -d '\012'	# echo -n, more or less portably
