Make sure the Travis build fails when compiling fails
Piping `make`'s output through `shrink-test-output.py` was swallowing `make`'s exit code. Now we explicitly use its exit code for the overall result of the build.
Make sure the Travis build fails when compiling fails
Piping `make`'s output through `shrink-test-output.py` was swallowing `make`'s exit code. Now we explicitly use its exit code for the overall result of the build.
