fix build script

This commit is contained in:
2019-02-12 15:49:32 +01:00
parent 1c0fd8b84f
commit 04bfdc77bb