waf/buildtools: use /bin/sh instead of /bin/bash and put ^ in quotes
commitfca9d052304971659366f00ee7105d70d7460b66
authorBjörn Jacke <bj@sernet.de>
Thu, 2 Dec 2010 08:40:21 +0000 (2 09:40 +0100)
committerBjoern Jacke <bj@sernet.de>
Thu, 2 Dec 2010 09:36:06 +0000 (2 10:36 +0100)
treed28101d52f84ca1256e1c1d3a14baa1db6ea2f1f
parentbeb01815f041d678024c60ac9ca53f8fcf759246
waf/buildtools: use /bin/sh instead of /bin/bash and put ^ in quotes

- some Unix shells actually don't like grep ^foo, use grep "^foo" instead.

- bash is not installed on every system, please avoid #!/bin/bash and
  use #!/bin/sh instead
buildtools/compare_config_h3.sh
buildtools/compare_config_h4.sh
buildtools/compare_generated.sh
buildtools/compare_install.sh