Augustin Cavalier 20c61bb7a4 Revert unrelated changes from previous commit. ...

I should have read the update script more closely as to
how it added changes for committing...

2018-08-13 15:58:01 -04:00

..

config_headers

…

jam

Revert unrelated changes from previous commit.

2018-08-13 15:58:01 -04:00

scripts

build_cross_tools: Have scripts exit on failure.

2018-05-19 14:54:10 -04:00