fix build line

This commit is contained in:
Wolfgang Hottgenroth 2020-07-03 14:03:56 +00:00
parent 78b54382a7
commit 316591bcaf