From d11bde3cae905d0b10834083a318c92a6836afab Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr> Date: Fri, 6 Mar 2020 10:59:35 +0100 Subject: [PATCH] [wp] fix makefile wp-qualif-oracle & wp-qualif-cleanup --- src/plugins/wp/Makefile.in | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/plugins/wp/Makefile.in b/src/plugins/wp/Makefile.in index 2d8c1789b5a..65a81ead365 100644 --- a/src/plugins/wp/Makefile.in +++ b/src/plugins/wp/Makefile.in @@ -145,10 +145,10 @@ wp-qualif: ./bin/toplevel.opt ./bin/ptests.opt ./bin/ptests.opt src/plugins/wp/tests -config qualif -error-code wp-qualif-update: ./bin/toplevel.opt ./bin/ptests.opt - FRAMAC_WP_MODE=update ./bin/ptests.opt src/plugins/wp/tests -config qualif -error-code + FRAMAC_WP_CACHE=update ./bin/ptests.opt src/plugins/wp/tests -config qualif -error-code wp-qualif-cleanup: ./bin/toplevel.opt ./bin/ptests.opt - FRAMAC_WP_MODE=cleanup ./bin/ptests.opt src/plugins/wp/tests -config qualif -error-code + FRAMAC_WP_CACHE=cleanup ./bin/ptests.opt src/plugins/wp/tests -config qualif -error-code # -------------------------------------------------------------------------- # --- Dynamic Plugin --- -- GitLab