diff --git a/share/Makefile.testing b/share/Makefile.testing
index d2556d3b9286db350d3cb83b54110c4a69bdc75c..2d494fa071655af48c038568e636260ade9b40cb 100644
--- a/share/Makefile.testing
+++ b/share/Makefile.testing
@@ -43,6 +43,8 @@ PTEST_ALIASES?=$(addsuffix /ptests,$(addprefix @,$(PTEST_DIRS)))
 
 ifneq ($(FRAMAC_WP_QUALIF),)
 FRAMAC_WP_CACHEDIR=$(FRAMAC_WP_QUALIF)
+else
+FRAMAC_WP_CACHEDIR?=
 endif
 
 ############