Raspberry Pi fixes (thanks @gepatto)

This commit is contained in:
Joshua Granick
2015-08-27 09:38:46 -07:00
parent 2583f2b87c
commit a9e4a75602
5 changed files with 12 additions and 5 deletions

View File

@@ -456,7 +456,7 @@ class CommandLineTools {
}
if (raspberryPi) {
if (raspberryPi || PlatformHelper.hostArchitecture == Architecture.ARMV6 || PlatformHelper.hostArchitecture == Architecture.ARMV7) {
untyped $loader.path = $array (path + "RPi/", $loader.path);