diff options
| author | yenatch <yenatch@gmail.com> | 2017-05-28 23:44:39 -0400 |
|---|---|---|
| committer | yenatch <yenatch@gmail.com> | 2017-05-28 23:44:39 -0400 |
| commit | f175c636b55779798c971fe51b3a0a24d3d74721 (patch) | |
| tree | 2713d197dc1d223f9c6b293ffc2625fef70b3e6b | |
| parent | 57e0f470b14ba0d124682bd91ef387c9928c0649 (diff) | |
travis: make tools
| -rw-r--r-- | .travis.yml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.travis.yml b/.travis.yml index 897bb9770..e00471b59 100644 --- a/.travis.yml +++ b/.travis.yml @@ -19,6 +19,7 @@ before_script: fi; } script: + - make tools - make crystal crystal11 - make compare # - check_status |