| author | wenzelm |
| Thu, 26 Oct 2023 12:27:10 +0200 | |
| changeset 78847 | 3958180eaa72 |
| parent 71975 | 2d658beb815b |
| permissions | -rw-r--r-- |
|
63288
e0513d6e4916
start moving actual Jenkins build scripts into the repository
Lars Hupel <lars.hupel@mytum.de>
parents:
diff
changeset
|
1 |
ISABELLE_TOOLS="$COMPONENT:$ISABELLE_TOOLS" |
|
71975
2d658beb815b
enable pide_session by default (again), with extra JVM heap for AFP tests (see also 86e429abd38d, 026de3424c39);
wenzelm
parents:
63288
diff
changeset
|
2 |
ISABELLE_TOOL_JAVA_OPTIONS="$ISABELLE_TOOL_JAVA_OPTIONS -Xmx8g" |