diff options
| -rwxr-xr-x | build/distclean.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/build/distclean.sh b/build/distclean.sh index e9db93934..92ced8862 100755 --- a/build/distclean.sh +++ b/build/distclean.sh @@ -9,6 +9,7 @@ rm -rf _build rm -f boot/ocamlrun boot/ocamlrun.exe boot/camlheader \ boot/myocamlbuild boot/myocamlbuild.native boot/myocamlbuild.native.exe \ myocamlbuild_config.ml config/config.sh config/Makefile \ + boot/ocamlyacc tools/cvt_emit.bak tools/*.bak \ config/s.h config/m.h boot/*.cm* _log _*_log* # from partial boot |