diff options
| author | Tuomas Tynkkynen <tuomas.tynkkynen@iki.fi> | 2015-06-14T18·03+0300 |
|---|---|---|
| committer | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2015-10-08T11·32+0200 |
| commit | 2075ec83e359b9d52d1419e092c5611e408053cc (patch) | |
| tree | 1fdd9af7e8995eab50394c94d3c156d04f98111d /src/libstore/build.cc | |
| parent | 51cf4455b2857efb6f3a2fda01b45baab2af7e73 (diff) | |
Allow building ARMv6 stuff on ARMv7
This allows building a Raspberry Pi image on modern, faster boards.
Diffstat (limited to '')
| -rw-r--r-- | src/libstore/build.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/libstore/build.cc b/src/libstore/build.cc index 3adad662d072..5674e83c9e66 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 ; } |