From ebb4bbb3d2d742f5c121757a7aff274469d045d2 Mon Sep 17 00:00:00 2001
From: Michael Gehring <mg@ebfe.org>
Date: Sun, 20 Nov 2016 09:30:23 +0000
Subject: [PATCH] virtuoso: broken

---
 srcpkgs/virtuoso/template | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/srcpkgs/virtuoso/template b/srcpkgs/virtuoso/template
index b489a3129e..d70413eab4 100644
--- a/srcpkgs/virtuoso/template
+++ b/srcpkgs/virtuoso/template
@@ -15,6 +15,8 @@ checksum=08d05c6165117de0370e81aa89ddab618e645b5110be301f72e6ffea7044ca50
 # cannot execute binary file: Exec format error
 nocross="https://build.voidlinux.eu/builders/armv6l_builder/builds/29187/steps/shell_3/logs/stdio"
 
+broken="https://build.voidlinux.eu/builders/i686_builder/builds/27624/steps/shell_3/logs/stdio"
+
 case "$XBPS_TARGET_MACHINE" in
 	*-musl) broken="#include <execinfo.h>";;
 esac