Commit 496b9bec authored by POTTIER Francois's avatar POTTIER Francois

Add [make reinstall].

parent 33593fd0
......@@ -265,6 +265,11 @@ pin:
unpin:
opam pin remove menhir
.PHONY: reinstall
reinstall:
$(MAKE) -C src bootstrap
opam reinstall --assume-built --working-dir menhir
# -------------------------------------------------------------------------
# Running the Markdown linter on our Markdown files.
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment