diff --git a/src/plugins/wp/Makefile.in b/src/plugins/wp/Makefile.in index 2d8c1789b5aa02a4d5b0ba050dfb5da2ee54536f..65a81ead3655d1198e23bdcea90a7aa12d6d2f14 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 ---