diff options
author | Alexandru Avadanii <Alexandru.Avadanii@enea.com> | 2016-04-18 18:15:14 +0000 |
---|---|---|
committer | Gerrit Code Review <gerrit@172.30.200.206> | 2016-04-18 18:15:14 +0000 |
commit | d531461404a59e574abf97b756ebefd4562fe6d5 (patch) | |
tree | d3c9b50c41dedb7a3100055c713416887cfedd07 /ci/build.sh | |
parent | f67fcb05c8a5e8eca48aef084298aa4cfd57e344 (diff) | |
parent | 6bef7de313b6bb33f7a716d1d70ec4eb4aae9a3f (diff) |
Merge "target Ubuntu: Blacklist rtc-efi if not supported."
Diffstat (limited to 'ci/build.sh')
0 files changed, 0 insertions, 0 deletions