fix ci script

This commit is contained in:
2019-02-16 23:23:07 +01:00
parent 9c9cfae89e
commit be3811b826