diff options
| author | Maxime Dénès | 2017-05-02 09:23:11 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2017-05-02 09:23:11 +0200 |
| commit | 249b19897671b95ce0a3b8aba6b24005a315bb8c (patch) | |
| tree | 36391833049dbab750b8e5de73f8d53091edd3f6 | |
| parent | 991b78fd9627ee76f1a1a39b8460bf361c6af53d (diff) | |
| parent | 540588e7c1e7edc3ced91f2c5b544025da0681f5 (diff) | |
Merge PR#595: Avoiding registering files from _build_ci for computing dependencies
| -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 |