ci: install make

This commit is contained in:
Eduardo San Martin Morote
2018-08-08 11:40:47 +02:00
parent d2e8ec0c80
commit 3c9e78f75c

View File

@@ -29,6 +29,7 @@ jobs:
# fallback to using the latest cache if no exact match is found
- v1-dependencies-
- run: sudo apt-get install make
- run: make dependencies
- save_cache: