Allow building ARMv6 stuff on ARMv7

This allows building a Raspberry Pi image on modern, faster boards.
2015-06-14 21:03:24 +03:00 · 2015-06-14 21:03:24 +03:00 · 2075ec83e3
parent 51cf4455b2
commit 2075ec83e3
1 changed files with 1 additions and 0 deletions
--- 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
        ;
 }