- Improve Makefile, pet portlint PR: ports/185776 (based on) Submitted by: Hardy Schumacher <hardy.schumacher@gmx.de>