changeset 65764 | 1af6d544c2a3 |
parent 65747 | 5a3052b2095f |
child 65767 | 222ed8901008 |
--- a/src/Pure/Admin/jenkins.scala Sun May 07 22:10:48 2017 +0200 +++ b/src/Pure/Admin/jenkins.scala Sun May 07 23:18:23 2017 +0200 @@ -54,7 +54,7 @@ val build_status_profiles: List[Build_Status.Profile] = build_log_jobs.map(job_name => - Build_Status.Profile("jenkins_" + job_name, + Build_Status.Profile("Jenkins " + job_name, Build_Log.Prop.build_engine + " = " + SQL.string(Build_Log.Jenkins.engine) + " AND " + Build_Log.Data.log_name + " LIKE " + SQL.string("%" + job_name)))