mozilla/rust — pull request #6970 by artagnon (2013-06-06 12:06:57+00:00)
Title: configure: replace echo "" with plain echo

When no arguments are given, echo prints a blank line. These two are
equivalent:

$ echo ""
$ echo

Replace the former by the latter.

Signed-off-by: Ramkumar Ramachandra