diff options
| author | Maxim Cournoyer <maxim@guixotic.coop> | 2025-10-29 14:25:02 +0900 |
|---|---|---|
| committer | Maxim Cournoyer <maxim@guixotic.coop> | 2025-11-19 09:42:11 +0900 |
| commit | f248ea111f2da141738f953eb484182443e22b7d (patch) | |
| tree | e52f8a7ef018cbf9bc5f8b3c98dfe07da2ec16ec | |
| parent | 1029981e703976f6ea82589ea36b9d78d6d15021 (diff) | |
gnu: gcc-mesboot: Raise default timeout via property.
It was found to time out in the CI after 21600 seconds.
* gnu/packages/commencement.scm (gcc-mesboot) [properties]: New field.
Change-Id: Idec8a668f4f15e9ed3712d505b82704260b4295d
| -rw-r--r-- | gnu/packages/commencement.scm | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gnu/packages/commencement.scm b/gnu/packages/commencement.scm index 6000187cc89..16c0b050aa5 100644 --- a/gnu/packages/commencement.scm +++ b/gnu/packages/commencement.scm | |||
| @@ -1839,7 +1839,8 @@ exec " gcc "/bin/" program | |||
| 1839 | (format (current-error-port) "C_INCLUDE_PATH=~a\n" (getenv "C_INCLUDE_PATH")) | 1839 | (format (current-error-port) "C_INCLUDE_PATH=~a\n" (getenv "C_INCLUDE_PATH")) |
| 1840 | (format (current-error-port) "CPLUS_INCLUDE_PATH=~a\n" (getenv "CPLUS_INCLUDE_PATH")) | 1840 | (format (current-error-port) "CPLUS_INCLUDE_PATH=~a\n" (getenv "CPLUS_INCLUDE_PATH")) |
| 1841 | (format (current-error-port) "LIBRARY_PATH=~a\n" | 1841 | (format (current-error-port) "LIBRARY_PATH=~a\n" |
| 1842 | (getenv "LIBRARY_PATH")))))))))))) | 1842 | (getenv "LIBRARY_PATH")))))))))) |
| 1843 | (properties '((timeout . 72000))))) ;20 hours | ||
| 1843 | 1844 | ||
| 1844 | (define gcc-mesboot-wrapper | 1845 | (define gcc-mesboot-wrapper |
| 1845 | ;; We need this so gcc-mesboot can be used to create shared binaries that | 1846 | ;; We need this so gcc-mesboot can be used to create shared binaries that |