summaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
authorDamien Doligez <damien.doligez-inria.fr>2014-05-12 14:03:04 +0000
committerDamien Doligez <damien.doligez-inria.fr>2014-05-12 14:03:04 +0000
commitd0368bc2c5c0d4bdfe104ce6a24859ae08e78ddd (patch)
tree4e456a7638622c66de0455b51f204e80bd21021f /tools
parentf4654c8952ab789c069e0381f223659d628dc327 (diff)
downloadocaml-d0368bc2c5c0d4bdfe104ce6a24859ae08e78ddd.tar.gz
update distclean target
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14801 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'tools')
-rwxr-xr-xtools/ci-build2
1 files changed, 1 insertions, 1 deletions
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