diff options
| author | Maxim Cournoyer <maxim@guixotic.coop> | 2026-02-18 10:18:32 +0900 |
|---|---|---|
| committer | Maxim Cournoyer <maxim@guixotic.coop> | 2026-02-25 09:46:07 +0900 |
| commit | a2c347c1fb0ca28a8485da30180404b0a32bc7f6 (patch) | |
| tree | 3d0a0d0cf3d9619392389214282958efbf53282c /gnu | |
| parent | 9888260728af11433bbcaa3bbf2938cd47068af9 (diff) | |
gnu: openjdk11: Double max-silent-time timeout property.
* gnu/packages/java.scm (openjdk11) [properties]: New field.
Change-Id: I4370a4d8bc75c139334ef41778c17d391561e356
Diffstat (limited to 'gnu')
| -rw-r--r-- | gnu/packages/java.scm | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/gnu/packages/java.scm b/gnu/packages/java.scm index ddf141564f5..fce83f7cdac 100644 --- a/gnu/packages/java.scm +++ b/gnu/packages/java.scm | |||
| @@ -1570,7 +1570,11 @@ new Date();")))) | |||
| 1570 | (synopsis "Java development kit") | 1570 | (synopsis "Java development kit") |
| 1571 | (description | 1571 | (description |
| 1572 | "This package provides the Java development kit OpenJDK.") | 1572 | "This package provides the Java development kit OpenJDK.") |
| 1573 | (license license:gpl2+))) | 1573 | (license license:gpl2+) |
| 1574 | (properties | ||
| 1575 | ;; At least on a Blackbird powerpc64le machine, the build takes more than | ||
| 1576 | ;; the default 3600s of silent timeout. | ||
| 1577 | `((max-silent-time . ,(* 3600 2)))))) | ||
| 1574 | 1578 | ||
| 1575 | (define-syntax make-openjdk | 1579 | (define-syntax make-openjdk |
| 1576 | ;; Return an OpenJDK package at VERSION with checksum HASH, using BOOTSTRAP, | 1580 | ;; Return an OpenJDK package at VERSION with checksum HASH, using BOOTSTRAP, |