diff options
| -rw-r--r-- | gnu/packages/xdisorg.scm | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/gnu/packages/xdisorg.scm b/gnu/packages/xdisorg.scm index 1ce0886c2f..7d0c4d3482 100644 --- a/gnu/packages/xdisorg.scm +++ b/gnu/packages/xdisorg.scm @@ -1655,7 +1655,13 @@ less if you are working in front of the screen at night.") (("@GTK_DATADIR@") "@datadir@") (("@PO_DATADIR@") "@datadir@")) #t))) - #:configure-flags '("--with-pam" "--with-proc-interrupts" + #:configure-flags '("--with-pam" + + ;; Don't check /proc/interrupts in the build + ;; environment to avoid non-deterministic failures + ;; of the 'configure' script. + "--without-proc-interrupts" + "--without-readdisplay") #:make-flags (list (string-append "AD_DIR=" (assoc-ref %outputs "out") |