specify distro for make

4 years ago · 7b78194cb3
parent a532197e24
commit 7b78194cb3
1 changed files with 1 additions and 1 deletions
--- a/.travis.yml
+++ b/.travis.yml
@ -25,6 +25,6 @@ env:
 before_script:
 - make BUILDTYPE=$BUILDTYPE MARCH=$MARCH
 script:
- make BUILDTYPE=$BUILDTYPE MARCH=$MARCH $CHECK_TARGET
+- make DISTRO=$DISTRO BUILDTYPE=$BUILDTYPE MARCH=$MARCH $CHECK_TARGET
 after_success:
 - bash <(curl -s https://codecov.io/bash)