Merge pull request #245 from rbrito/fix-makefile
authorPhilipp Hagemeister <phihag@phihag.de>
Thu, 8 Dec 2011 19:39:56 +0000 (11:39 -0800)
committerPhilipp Hagemeister <phihag@phihag.de>
Thu, 8 Dec 2011 19:39:56 +0000 (11:39 -0800)
Makefile: Don't use `echo`'s `-e` option for portability.


Trivial merge