Une MAJ de sécurité est nécessaire sur notre version actuelle. Elle sera effectuée lundi 02/08 entre 12h30 et 13h. L'interruption de service devrait durer quelques minutes (probablement moins de 5 minutes).

Commit afc66fea authored by MARCHE Claude's avatar MARCHE Claude
Browse files

clean old install: remove also old commands that do not exist anymore

parent 424d9c27
......@@ -586,6 +586,7 @@ bin/why3replay.byte: lib/why3/why3.cma lib/why3/why3session.cma src/tools/why3re
rm -f $(TOOLS_BIN:%=$(TOOLDIR)/%$(EXE)) $(BINDIR)/why3$(EXE)
rm -f $(BINDIR)/why3config$(EXE) $(BINDIR)/why3bench$(EXE) $(BINDIR)/why3replayer$(EXE)
cp -f bin/why3.@OCAMLBEST@ $(BINDIR)/why3$(EXE)
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