Julian Phillips d997224cc3 Fix building on Ubuntu
1) /bin/sh is not /bin/bash, so build.sh needs to explictly use /bin/bash
2) dash's echo does not support \x, but it does support \0 (since dash is
   /bin/sh, it gets used by Makefiles).
2013-06-30 13:15:19 +01:00
..
2013-06-30 13:15:19 +01:00