diff options
| author |   Alexandru Avadanii <Alexandru.Avadanii@enea.com> | 2016-08-16 18:45:10 +0200 |
|---|---|---|
| committer | Alexandru Avadanii <Alexandru.Avadanii@enea.com> | 2016-08-24 16:11:17 +0200 |
| commit | dc647f941fc3923f5ed1f2888318b218c23f4362 (patch) | |
| tree | 127d68fdfe97e163ff175656499aa60f1845479f /ci/build.sh | |
| parent | c4204aefeaf0d781998e54ab83831fcde7527b89 (diff) | |
build: Allow MIRROR_MOS_UBUNTU override
Signed-off-by: Alexandru Avadanii <Alexandru.Avadanii@enea.com>
Diffstat (limited to 'ci/build.sh')
0 files changed, 0 insertions, 0 deletions