equal
deleted
inserted
replaced
168 } |
168 } |
169 } |
169 } |
170 |
170 |
171 val remote_builds_old: List[Remote_Build] = |
171 val remote_builds_old: List[Remote_Build] = |
172 List( |
172 List( |
|
173 Remote_Build("AFP", "lxbroy7", |
|
174 args = "-N -X slow", |
|
175 afp = true, |
|
176 detect = Build_Log.Prop.build_tags + " = " + SQL.string("AFP")), |
173 Remote_Build("Poly/ML 5.7 Linux", "lxbroy8", |
177 Remote_Build("Poly/ML 5.7 Linux", "lxbroy8", |
174 history_base = "37074e22e8be", |
178 history_base = "37074e22e8be", |
175 options = "-m32 -B -M1x2,2 -t polyml-5.7 -i 'init_component /home/isabelle/contrib/polyml-5.7'", |
179 options = "-m32 -B -M1x2,2 -t polyml-5.7 -i 'init_component /home/isabelle/contrib/polyml-5.7'", |
176 args = "-N -g timing", |
180 args = "-N -g timing", |
177 detect = Build_Log.Prop.build_tags + " = " + SQL.string("polyml-5.7") + " AND " + |
181 detect = Build_Log.Prop.build_tags + " = " + SQL.string("polyml-5.7") + " AND " + |