Message ID | 067A8489-6150-4632-878C-BB239B1674FD@vodafonemail.de |
---|---|
State | Accepted |
Headers | show |
Series | [bug#44543] gnu: raspberry-pi: Add helpers for config.txt file generation. | expand |
Context | Check | Description |
---|---|---|
cbaines/applying patch | fail | View Laminar job |
cbaines/issue | success | View issue |
Hi! I’m closing this ticket. There will be a new patch series which will also contain this change. Bye Stefan
diff --git a/gnu/packages/virtualization.scm b/gnu/packages/virtualization.scm index 2262aa6197..3732320df8 100644 --- a/gnu/packages/virtualization.scm +++ b/gnu/packages/virtualization.scm @@ -161,8 +161,9 @@ (arguments `(;; FIXME: Disable tests on i686 to work around ;; <https://bugs.gnu.org/40527>. - #:tests? ,(or (%current-target-system) - (not (string=? "i686-linux" (%current-system)))) + #:tests? ,(and (not (target-aarch64?)) + (or (%current-target-system) + (not (string=? "i686-linux" (%current-system))))) #:configure-flags (list "--enable-usb-redir" "--enable-opengl" "--enable-docs"