From 540588e7c1e7edc3ced91f2c5b544025da0681f5 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin <Hugo.Herbelin@inria.fr>
Date: Mon, 1 May 2017 14:15:55 +0200
Subject: Avoiding registering files from _build_ci when not calling
 Makefile.ci.

---
 Makefile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index e1d6e8e1d..826ed17b0 100644
--- a/Makefile
+++ b/Makefile
@@ -52,7 +52,8 @@ FIND_VCS_CLAUSE:='(' \
   -name '.bzr' -o \
   -name 'debian' -o \
   -name "$${GIT_DIR}" -o \
-  -name '_build' \
+  -name '_build' -o \
+  -name '_build_ci' \
 ')' -prune -o
 
 define find
-- 
cgit v1.2.3