equal
deleted
inserted
replaced
155 case List(w, h) if w > 0 && h > 0 => size = (w, h) |
155 case List(w, h) if w > 0 && h > 0 => size = (w, h) |
156 case _ => error("Error bad PNG image size: " + quote(arg)) |
156 case _ => error("Error bad PNG image size: " + quote(arg)) |
157 })) |
157 })) |
158 |
158 |
159 val jobs = getopts(args) |
159 val jobs = getopts(args) |
160 val all_jobs = Jenkins.build_jobs() |
160 val all_jobs = Jenkins.build_job_names() |
161 val bad_jobs = jobs.filterNot(all_jobs.contains(_)).sorted |
161 val bad_jobs = jobs.filterNot(all_jobs.contains(_)).sorted |
162 |
162 |
163 if (jobs.isEmpty) |
163 if (jobs.isEmpty) |
164 error("No build jobs given. Available jobs: " + all_jobs.sorted.mkString(" ")) |
164 error("No build jobs given. Available jobs: " + all_jobs.sorted.mkString(" ")) |
165 |
165 |