Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse files

clean generated files

  • Loading branch information...
commit 5c162f01f7e80dc43975a44b646c86f94bf88eb8 1 parent b89a9ea
Frédéric Tuong authored
Showing with 2 additions and 4 deletions.
  1. +2 −4 Makefile
6 Makefile
View
@@ -31,15 +31,13 @@ clone:
clean:
rm -rf _obuild
- rm -rf src/*.annot bat/*.annot
- rm -f opam
+ rm -f *.annot src/*.annot
rm -f ocp-build.*
$(MAKE) -C $(SRC_EXT) clean
$(MAKE) -C ocp-build clean
distclean: clean
- rm -f *.tar.gz *.tar.bz2
- rm -rf _obuild _build
+ rm -f META Makefile.config src/globals.ml config.log config.status
$(MAKE) -C $(SRC_EXT) distclean
.PHONY: tests
Please sign in to comment.
Something went wrong with that request. Please try again.