From 66fa132b7841c4dcb2d34302ad4b3a98ebf2c2f4 Mon Sep 17 00:00:00 2001 From: Michael Gehring Date: Sun, 20 Nov 2016 12:58:03 +0000 Subject: [PATCH] virtuoso: retry build --- srcpkgs/virtuoso/template | 2 -- 1 file changed, 2 deletions(-) diff --git a/srcpkgs/virtuoso/template b/srcpkgs/virtuoso/template index d70413eab4..b489a3129e 100644 --- a/srcpkgs/virtuoso/template +++ b/srcpkgs/virtuoso/template @@ -15,8 +15,6 @@ 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 ";; esac