diff options
| -rw-r--r-- | gnu/packages/pulseaudio.scm | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/gnu/packages/pulseaudio.scm b/gnu/packages/pulseaudio.scm index 1c579bfb2c..580c3336bb 100644 --- a/gnu/packages/pulseaudio.scm +++ b/gnu/packages/pulseaudio.scm @@ -204,6 +204,12 @@ mixing several sounds into one are easily achieved using a sound server. ") (base32 "02s775m1531sshwlbvfddk3pz8zjmwkv1sgzggn386ja3gc9vwi2")))) (build-system gnu-build-system) + (arguments + (if (string=? (%current-system) "i686-linux") + ;; Work around test failure: + ;; <https://bugs.freedesktop.org/show_bug.cgi?id=72374>. + '(#:tests? #f) + '())) (inputs `(("intltool" ,intltool) ("libcanberra" ,libcanberra) |