Adapt CI for changes in https://github.com/HelenOS/harbours/pull/1 (#1)
commit4078b1885d7b1bbb8c9ffc150759ba7b230c8fc4
authorJiří Zárevúcky <zarevucky.jiri@gmail.com>
Tue, 27 Mar 2018 11:47:20 +0000 (27 13:47 +0200)
committerGitHub <noreply@github.com>
Tue, 27 Mar 2018 11:47:20 +0000 (27 13:47 +0200)
tree10d73c99809f8401e394c0cd588ac260d8238e1d
parent4e6c5a80b47c09f1ff30e66fd3e69cd3b0968bac
Adapt CI for changes in https://github.com/HelenOS/harbours/pull/1 (#1)
hbuild/builders/coastline.py