Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse files

Fix distclean target

  • Loading branch information...
commit f6019245df4ac880e0763c2fb73b865ad7535636 1 parent e7106b9
Thomas Gazagnaire samoht authored
Showing with 1 addition and 1 deletion.
  1. +1 −1  Makefile
2  Makefile
View
@@ -41,8 +41,8 @@ clean:
$(MAKE) -C ocp-build clean
distclean: clean
- rm -f META Makefile.config src/core/opamVersion.ml config.log config.status
$(MAKE) -C $(SRC_EXT) distclean
+ rm -f META Makefile.config src/core/opamVersion.ml config.log config.status
.PHONY: tests
Please sign in to comment.
Something went wrong with that request. Please try again.