From 31cccd88ed6fcaca86eb19dcee6d263909cbe829 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Llu=C3=ADs=20Batlle=20i=20Rossell?= <viric@viric.name>
Date: Fri, 20 Feb 2015 22:26:11 +0000
Subject: [PATCH] kernel: Trying to fix makeflags of 'make dtbs'

---
 pkgs/os-specific/linux/kernel/manual-config.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pkgs/os-specific/linux/kernel/manual-config.nix b/pkgs/os-specific/linux/kernel/manual-config.nix
index 7bc1de8ed0be..dd619993ff0e 100644
--- a/pkgs/os-specific/linux/kernel/manual-config.nix
+++ b/pkgs/os-specific/linux/kernel/manual-config.nix
@@ -121,7 +121,7 @@ let
       postInstall = (optionalString installsFirmware ''
         mkdir -p $out/lib/firmware
       '') + (if (platform ? kernelDTB && platform.kernelDTB) then ''
- 	make "$makeFlags" dtbs
+ 	make $makeFlags "''${makeFlagsArray[@]}" dtbs
         cp arch/$arch/boot/dts/*dtb $out
       '' else "") + (if isModular then ''
         make modules_install $makeFlags "''${makeFlagsArray[@]}" \