2 Commits

Author	SHA1	Message	Date
Björn Jacke	fca9d05230	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	2010-12-02 10:36:06 +01:00
Kai Blin	7c20de97a0	build: rename s4 compare_config_h.sh helper and add a s3 version of it	2010-04-06 20:26:56 +10:00