Skip to content
Snippets Groups Projects
Commit 3517daa2 authored by Virgile Prevosto's avatar Virgile Prevosto
Browse files

[wookey] Do not remove WP cache on make clean

parent 331305cd
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
case_studies/wookey/loader/GNUmakefile
+ 0
− 1
View file @ 3517daa2
......@@ -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
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment