Joe Beda 96c1bc17ca Set shell options for reliability. ...

Tweak a few other small things in our shell scripts.

2014-10-10 12:33:36 -07:00

..

common.sh

Set shell options for reliability.

2014-10-10 12:33:36 -07:00

Dockerfile

Vagrant now using pre-built binaries.

2014-10-10 12:30:12 -07:00

make-binaries.sh

Set shell options for reliability.

2014-10-10 12:33:36 -07:00

make-cross.sh

Set shell options for reliability.

2014-10-10 12:33:36 -07:00

run-integration.sh

Set shell options for reliability.

2014-10-10 12:33:36 -07:00

run-tests.sh

Set shell options for reliability.

2014-10-10 12:33:36 -07:00