Commit 41b8ab22 authored by Ralf Jung's avatar Ralf Jung

make Makefile work with POSIX awk

parent 30073ef8
Pipeline #3629 passed with stage
in 10 minutes and 36 seconds