diff options
| author | Paul Sokolovsky <paul.sokolovsky@linaro.org> | 2014-12-07 19:54:21 +0200 |
|---|---|---|
| committer | Paul Sokolovsky <paul.sokolovsky@linaro.org> | 2014-12-07 19:54:21 +0200 |
| commit | 880c5ffcfd99581ef389c4a846aef85f4da49645 (patch) | |
| tree | 0ff6e0760b8ef33bd1caa7a5b3cd98ef7a7b823b | |
| parent | d6c2cc33ac284663b446e7f09d9b8a8d73ebe122 (diff) | |
Implement --filter-jobname for local dir processing.
Change-Id: I093b2e40f258d32d334f954d42b672e6c5bb378d
| -rwxr-xr-x | mangle-jobs/mangle-jobs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/mangle-jobs/mangle-jobs b/mangle-jobs/mangle-jobs index 75f143e..7c972c8 100755 --- a/mangle-jobs/mangle-jobs +++ b/mangle-jobs/mangle-jobs @@ -240,6 +240,9 @@ def process_file(name): def process_dir(jenkins_home): limit = options.limit for fname in glob.iglob(jenkins_home + "/jobs/*/config.xml"): + jobname = fname.rsplit("/")[-2] + if not match_job_name(jobname): + continue if limit == 0: break limit -= 1 |