Commit 59824188 authored by Florian Hindenlang's avatar Florian Hindenlang
Browse files

fix makefile error

parent f1180f51
Pipeline #11973 failed with stages
in 2 seconds