Skip to content
Snippets Groups Projects
Commit a51d5e7f authored by erwan's avatar erwan
Browse files

test: clean old generated ml files

parent a70382a6
No related branches found
No related tags found
No related merge requests found
# Time-stamp: <modified the 23/01/2023 (at 17:27) by Erwan Jahier>
# Time-stamp: <modified the 25/01/2023 (at 11:01) by Erwan Jahier>
#
# Define some default rules that ought to work most of the time
#
......@@ -45,8 +45,8 @@ endif
genclean:
rm -f *.cmxs sasa *.cm* *.o *.pdf *.rif *.gp *.log *.dro *.seed *.c *.h sasa-*.dot *.cmt *.annot
rm -rf .rdbg-session*.ml luretteSession* a.out *.cov .read_dot.ml
rm -f *.exec grid*.ml rdbg-history .rdbg-cmds.ml
rm -rf .rdbg-session*.ml rdbg-session*.ml luretteSession* a.out *.cov .read_dot.ml
rm -f *.exec grid*.ml rdbg-history .rdbg-cmds.ml rdbg-cmds.ml my-rdbg-tuning.ml
dune clean
clean: genclean
......
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