tree 49b708e731d3dda21a0a0bc64edec58e437c9a23
parent d4120f18aae735fa494b7a3f479c317b6569d42f
author Marc Kupietz <kupietz@ids-mannheim.de> 1739217347 +0100
committer Marc Kupietz <kupietz@ids-mannheim.de> 1739217983 +0100

Attempt a completely static build in CI script

Change-Id: Ief0a785cd61dc0966057a52adbf69410ba2ebffd