From 1838a4cb184e0a683a54a497cb9c1c52aeab8410 Mon Sep 17 00:00:00 2001 From: Bert van der Weerd Date: Fri, 17 Feb 2023 10:23:03 +0100 Subject: [PATCH] fix --- linux/Makefile | 1 + 1 file changed, 1 insertion(+) diff --git a/linux/Makefile b/linux/Makefile index bce464f..b1d58e1 100644 --- a/linux/Makefile +++ b/linux/Makefile @@ -227,3 +227,4 @@ docker-clean : docker rmi $(docker_image_name) docker-prune : docker system prune --all --force +