From d0368bc2c5c0d4bdfe104ce6a24859ae08e78ddd Mon Sep 17 00:00:00 2001
From: Damien Doligez <damien.doligez-inria.fr>
Date: Mon, 12 May 2014 14:03:04 +0000
Subject: update distclean target

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14801 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
---
 tools/ci-build | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'tools')

diff --git a/tools/ci-build b/tools/ci-build
index 1d6acbef60..10ff123f45 100755
--- a/tools/ci-build
+++ b/tools/ci-build
@@ -108,7 +108,7 @@ esac
 
 cd "$workdir"
 
-$make -f Makefile$nt clean distclean || :
+$make -f Makefile$nt distclean || :
 
 if $docheckout; then
   svn update --accept theirs-full
-- 
cgit v1.2.1