log makefile @ 27:86a6ab1746e4 default tip

age author description
Sun, 17 Oct 2021 16:52:28 +0200 Daniele Nicolodi Makefile tweaks