From d4d99327eb3fcf99c2a8aa4e40b254f5effd63a9 Mon Sep 17 00:00:00 2001
From: Michael Gehring <mg@ebfe.org>
Date: Mon, 3 Jul 2017 23:02:09 +0000
Subject: [PATCH] linux4.12: broken

---
 srcpkgs/linux4.12/template | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/srcpkgs/linux4.12/template b/srcpkgs/linux4.12/template
index 1846b60acc7..0bca56f26eb 100644
--- a/srcpkgs/linux4.12/template
+++ b/srcpkgs/linux4.12/template
@@ -11,6 +11,8 @@ short_desc="The Linux kernel and modules (${version%.*} series)"
 distfiles="https://cdn.kernel.org/pub/linux/kernel/v4.x/linux-${version}.tar.xz"
 checksum=a45c3becd4d08ce411c14628a949d08e2433d8cdeca92036c7013980e93858ab
 
+broken="https://build.voidlinux.eu/builders/x86_64_builder/builds/3459/steps/shell_3/logs/stdio"
+
 nodebug=yes  # -dbg package is generated below manually
 nostrip=yes
 noverifyrdeps=yes