From 99f30a6798fc465b93a5615266a9ae5917541ade Mon Sep 17 00:00:00 2001 From: Hans Dijkema Date: Thu, 5 Mar 2026 09:29:23 +0100 Subject: [PATCH] - --- Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Makefile b/Makefile index 48b3a0d..3543af6 100644 --- a/Makefile +++ b/Makefile @@ -3,5 +3,5 @@ all: @echo "oke" clean: - rm -f *.rkt~ - (cd private;rm -f *.rkt~) + find . -name "*.rkt~" -type f -exec rm -f {} \; + find . -name "compiled" -type d -exec rm -rf {} \;