Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

ci_find*: include sub and parent dirs #1130

Open
wants to merge 1 commit into
base: master
Choose a base branch
from
Open

ci_find*: include sub and parent dirs #1130

wants to merge 1 commit into from

Commits on Jan 17, 2021

  1. ci_find*: include sub/parent dirs 

    include also tools/repos with:

- change of test data
- change of supplementary scripts
  (this already was the case for ci_find_repos)
- change of macros where the tools are in sub-directories
  (this failed for ci_find_repos if each tool has an
   individual shed file)
- change of a single tool in a collection where the shed
  file is in the parent
    @bernt-matthias
    bernt-matthias committed Jan 17, 2021
    Configuration menu
    Copy the full SHA
    7fb3f5a View commit details
    Browse the repository at this point in the history