From 2075ec83e359b9d52d1419e092c5611e408053cc Mon Sep 17 00:00:00 2001
From: Tuomas Tynkkynen <tuomas.tynkkynen@iki.fi>
Date: Sun, 14 Jun 2015 21:03:24 +0300
Subject: [PATCH] Allow building ARMv6 stuff on ARMv7

This allows building a Raspberry Pi image on modern, faster boards.
---
 src/libstore/build.cc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/libstore/build.cc b/src/libstore/build.cc
index 3adad662d..5674e83c9 100644
--- a/src/libstore/build.cc
+++ b/src/libstore/build.cc
@@ -1250,6 +1250,7 @@ static bool canBuildLocally(const string & platform)
     return platform == settings.thisSystem
 #if __linux__
         || (platform == "i686-linux" && settings.thisSystem == "x86_64-linux")
+        || (platform == "armv6l-linux" && settings.thisSystem == "armv7l-linux")
 #endif
         ;
 }