[checkmk-commits] [tribe29/checkmk] e1ae5d: More Makefile massage...