Starting ...git clone https://codeberg.org/decke/ports.git repo.git
Cloning into 'repo.git'...
git -C "repo.git" -c advice.detachedHead=false checkout 5bf035b1361eaefc64c61c00b7f5c4e8c250b2e7
HEAD is now at 5bf035b games/kodi-addon-game.libretro: Add workaround for strange cmake DESTDIR problem in rcheevos

portlint -A repo.git/games/kodi-addon-game.libretro
WARN: Makefile: [27]: possible use of "${MKDIR} -p" found. ${MKDIR} includes "-p" by default.
0 fatal errors and 1 warning found.