Use "/bin/echo -e" instead of shell builtin echo; some shells don't
authorMichael Brown <mcb30@etherboot.org>
Sat, 8 Sep 2007 22:38:17 +0000 (23:38 +0100)
committerMichael Brown <mcb30@etherboot.org>
Sat, 8 Sep 2007 22:38:17 +0000 (23:38 +0100)
commit6f799db5bd64ad408d7903679ac4d40ef9f48958
treea926b532ff047767764f9bc398c6abbaf1b95a4e
parent972f293e46d936ade9613abfeb0953936f7389a5
Use "/bin/echo -e" instead of shell builtin echo; some shells don't
implement the -e option.

(Thanks to Jim McQuillan for this suggestion.)
src/Makefile
src/Makefile.housekeeping