From 3517daa27c61d944868859b0578f96f1b2ecbf13 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Tue, 27 Sep 2022 15:56:04 +0200
Subject: [PATCH] [wookey] Do not remove WP cache on make clean

---
 case_studies/wookey/loader/GNUmakefile | 1 -
 1 file changed, 1 deletion(-)

diff --git a/case_studies/wookey/loader/GNUmakefile b/case_studies/wookey/loader/GNUmakefile
index b68f3fc..6c56cff 100644
--- a/case_studies/wookey/loader/GNUmakefile
+++ b/case_studies/wookey/loader/GNUmakefile
@@ -104,7 +104,6 @@ prove_gui: $(OUT_FILE)
 
 clean::
 	rm -f $(OUT_FILE)
-	rm -rf .frama-c
 	rm -rf $(MAIN_TARGET).parse
 
 include $(shell $(FRAMAC)-config -print-lib-path)/analysis-scripts/epilogue.mk
-- 
GitLab