Commit 8a074a03 authored by MARCHE Claude's avatar MARCHE Claude

bug in Makefile

parent 6f3bb618
......@@ -40,7 +40,5 @@ clean::
rm -f $(ML) *.cm[xio] *.o *.annot $(MAIN).opt $(MAIN).byte
rm -f why3__*.ml* vstte10_max_sum__*.ml* int__*.ml*
Makefile: Makefile.in ../../config.status
cd ../.. ; ./config.status chmod --file examples/vstte10_max_sum/Makefile
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