From cd49fc0939bed25f0eb15477587dd39829e3ffc5 Mon Sep 17 00:00:00 2001
From: Patrick Baudin <patrick.baudin@cea.fr>
Date: Tue, 19 Jul 2022 11:07:49 +0200
Subject: [PATCH] [makefile] fix FRAMAC_WP_QUALIF

---
 share/Makefile.testing | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/share/Makefile.testing b/share/Makefile.testing
index d2556d3b928..2d494fa0716 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
 
 ############
-- 
GitLab