travis: make tools

This commit is contained in:
yenatch 2017-05-28 23:44:39 -04:00
parent 57e0f470b1
commit f175c636b5
1 changed files with 1 additions and 0 deletions

View File

@ -19,6 +19,7 @@ before_script:
fi;
}
script:
- make tools
- make crystal crystal11
- make compare
# - check_status