| Mon, 13 Sep 2021 11:52:32 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Thu, 08 Jul 2021 12:39:28 +0200 |
Fabian Huch |
jenkins: pre/post-hook results
|
file |
diff |
annotate
|
| Thu, 04 Mar 2021 15:41:46 +0100 |
wenzelm |
tuned --- fewer warnings;
|
file |
diff |
annotate
|
| Sat, 27 Jun 2020 11:25:30 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Tue, 26 May 2020 11:58:42 +0200 |
wenzelm |
clarified signature --- fit within limit of 22 arguments;
|
file |
diff |
annotate
|
| Fri, 01 Mar 2019 21:29:59 +0100 |
wenzelm |
system option "system_heaps" supersedes various command-line options for "system build mode";
|
file |
diff |
annotate
|
| Thu, 04 Oct 2018 15:06:09 +0200 |
Lars Hupel |
use correct hostname
|
file |
diff |
annotate
|
| Thu, 04 Oct 2018 14:52:50 +0200 |
Lars Hupel |
Jenkins: detect machine; adjust job parameters accordingly
|
file |
diff |
annotate
|
| Tue, 26 Jun 2018 15:16:22 +0200 |
Lars Hupel |
support NUMA shuffling in CI
|
file |
diff |
annotate
|
| Fri, 20 Apr 2018 11:41:09 +0200 |
wenzelm |
workaround for jdk-10.0.1;
|
file |
diff |
annotate
|
| Fri, 07 Apr 2017 13:07:43 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Fri, 07 Apr 2017 10:47:25 +0200 |
wenzelm |
explicit Sessions.Selection;
|
file |
diff |
annotate
|
| Thu, 06 Apr 2017 22:04:30 +0200 |
wenzelm |
clarified signature: tree structure is not essential;
|
file |
diff |
annotate
|
| Mon, 27 Feb 2017 00:00:28 +0100 |
wenzelm |
clarified defaults;
|
file |
diff |
annotate
|
| Tue, 18 Oct 2016 16:48:41 +0200 |
Lars Hupel |
Jenkins: build in system mode again
|
file |
diff |
annotate
|
| Tue, 18 Oct 2016 15:57:34 +0200 |
Lars Hupel |
Jenkins: configurable clean build
|
file |
diff |
annotate
|
| Sat, 15 Oct 2016 21:08:04 +0200 |
wenzelm |
clarified hg.id operation, with explicit tip as default;
|
file |
diff |
annotate
|
| Sat, 15 Oct 2016 10:45:55 +0200 |
Lars Hupel |
Jenkins: don't build in system mode
|
file |
diff |
annotate
|
| Wed, 12 Oct 2016 11:48:53 +0200 |
wenzelm |
modernized;
|
file |
diff |
annotate
|
| Wed, 12 Oct 2016 09:38:20 +0200 |
wenzelm |
clarified files;
|
file |
diff |
annotate
| base
|