Jeff Zellner 57dbeaab8e use /usr/bin/env to find bash

2015-07-21 20:06:54 -06:00

..

windows

make windows: enclose all paths in double quotes

2015-05-04 08:04:29 +02:00

build.sh

use /usr/bin/env to find bash

2015-07-21 20:06:54 -06:00

coverage.sh

Actually add the coverage script

2015-04-28 19:05:11 -07:00

dist.sh

use /usr/bin/env to find bash

2015-07-21 20:06:54 -06:00

website_push.sh

use /usr/bin/env to find bash

2015-07-21 20:06:54 -06:00