Commit c5d708ca authored by Ralf Jung's avatar Ralf Jung

update Makefile

parent 6a6b8cad
Pipeline #8350 passed with stage
in 11 minutes and 19 seconds