From f56a67e9e29d2d826f3dae047e0123e6df1e7cc0 Mon Sep 17 00:00:00 2001 From: Wolfgang Hottgenroth Date: Tue, 16 Feb 2021 11:34:26 +0100 Subject: [PATCH] tune makefile