Need sudo to install openbios-ppc.

This commit is contained in:
David Given 2016-11-20 10:09:58 +01:00
parent 5423a175c6
commit 3f45a7d633

View file

@ -12,6 +12,7 @@ addons:
git: git:
depth: 10 depth: 10
sudo: required
language: c language: c
script: script:
- make PREFIX=/tmp/acki - make PREFIX=/tmp/acki