Commit 12ffa3dc authored by Ralf Jung's avatar Ralf Jung

Update Makefile

parent c551b679
Pipeline #14896 passed with stage
in 6 minutes