From 5f84af566c4962eec07318a20d5d2f9a8b7ffe2d Mon Sep 17 00:00:00 2001 From: Thomas Applencourt Date: Fri, 27 Mar 2015 16:16:28 +0100 Subject: [PATCH] Fix veryclean in QPROOT --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index a59dac50..bced5d0f 100644 --- a/Makefile +++ b/Makefile @@ -93,6 +93,6 @@ ocaml/Qptypes.ml: QPACKAGE_ROOT=$$PWD ./scripts/install_ocaml.sh | tee install_ocaml.log veryclean: - rm -f EZFIO + rm -rf EZFIO $(MAKE) EZFIO $(MAKE) -C src veryclean