Skip to content
Snippets Groups Projects
Commit d11bde3c authored by Loïc Correnson's avatar Loïc Correnson
Browse files

[wp] fix makefile wp-qualif-oracle & wp-qualif-cleanup

parent 4f21fff3
No related branches found
No related tags found
No related merge requests found
......@@ -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 ---
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment