Commit 2bcb3c3a authored by Ralf Jung's avatar Ralf Jung
Browse files

remove no-longer-needed Makefile hackery

parent b0b957ca
Pipeline #12772 failed with stage
in 11 minutes and 45 seconds