diff options
| author |  Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2017-05-01 14:15:55 +0200 |
|---|---|---|
| committer |  Maxime Dénès <mail@maximedenes.fr> | 2017-05-02 09:28:32 +0200 |
| commit | 824caa1f93563ab9437fb238459d757447a0aa12 (patch) | |
| tree | 3df03541cef0784a594436a972764df01f093474 | |
| parent | 8511d1d9d903e419543e39eca83c64171da2663b (diff) | |
Avoiding registering files from _build_ci when not calling Makefile.ci.
| -rw-r--r-- | Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -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 |