diff options
author | Joshua Haberman <jhaberman@gmail.com> | 2015-05-28 09:43:25 -0700 |
---|---|---|
committer | Joshua Haberman <jhaberman@gmail.com> | 2015-05-28 09:43:25 -0700 |
commit | 0b64534a4450d6d198ce617209ebe38816b028ef (patch) | |
tree | 6e528d4ffc3a56d16a24ebfa8f4894cae0d39968 /travis.sh | |
parent | e6dddd6c175cb23946c2d36180b3c2ef8d30e6ec (diff) | |
parent | 2cff15d35e4ff862e6a0811ae9e509c3d3352514 (diff) |
Merge pull request #21 from google/tablestrings
Restructure tables for C89 port and smaller size.
Diffstat (limited to 'travis.sh')
-rwxr-xr-x | travis.sh | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -104,6 +104,9 @@ coverage_after_success() { set -e set -x +$CC --version +$CXX --version + if [ "$1" == "after_failure" ]; then # Upload failing tree to S3. curl -sL https://raw.githubusercontent.com/travis-ci/artifacts/master/install | bash |