diff --git a/test/Makefile.inc b/test/Makefile.inc index daabacd260b30bd996e5e0162c86f2e4b6ac5b0f..354f7a02816ae9861ea858ca2fce167d30635ce3 100644 --- a/test/Makefile.inc +++ b/test/Makefile.inc @@ -1,4 +1,4 @@ -# 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