diff options
| author | yenatch <yenatch@gmail.com> | 2017-12-25 19:16:37 -0500 |
|---|---|---|
| committer | yenatch <yenatch@gmail.com> | 2017-12-25 19:16:37 -0500 |
| commit | bad9e33530af8cdc29ce5629df682fc7915bfff0 (patch) | |
| tree | 823b9e1091a0619c9e2b1c1a27fb6f110998be45 | |
| parent | da4ade7ef4cd28e8788cbb917c0b5cc3deb8cd0e (diff) | |
travis; make -j2
| -rw-r--r-- | .travis.yml | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/.travis.yml b/.travis.yml index 8038827c0..c052af3e9 100644 --- a/.travis.yml +++ b/.travis.yml @@ -18,8 +18,6 @@ before_script: fi; } script: - - make tools - - make crystal crystal11 - - make compare + - make -j2 compare # - check_status |