diff options
author | Palmer Dabbelt <palmer@dabbelt.com> | 2017-08-10 16:45:34 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-08-10 16:45:34 -0700 |
commit | c72d200cb5e8a439dc206730d930820e16a50008 (patch) | |
tree | 6fdea9118e3b5278bb2c6607e2683c7d152b2e30 | |
parent | 451f9c509fb360c5195e51cafc4a73d38105bbdf (diff) | |
parent | f991c2eb78aaeae725ac093c1da95a239fed8cd7 (diff) | |
download | riscv-tools-c72d200cb5e8a439dc206730d930820e16a50008.zip riscv-tools-c72d200cb5e8a439dc206730d930820e16a50008.tar.gz riscv-tools-c72d200cb5e8a439dc206730d930820e16a50008.tar.bz2 |
Merge pull request #118 from timsifive/debug-check
Let the build fail when debug-check fails.
-rw-r--r-- | .travis.yml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/.travis.yml b/.travis.yml index f5d0ede..a77622e 100644 --- a/.travis.yml +++ b/.travis.yml @@ -51,5 +51,4 @@ install: travis_wait script: - ./build.sh - - cd riscv-tests/build - - make debug-check || (tail debug/*.log; exit 1) + - make -C riscv-tests/build debug-check |