[checkmk-commits] [Checkmk/checkmk] d00b8f: set mibdirs during build