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 +