diff options
author | Jussi Pakkanen <jpakkane@gmail.com> | 2014-09-21 14:13:22 +0300 |
---|---|---|
committer | Jussi Pakkanen <jpakkane@gmail.com> | 2014-09-21 14:13:22 +0300 |
commit | 6f8222a46e6be9dd74f3e42f5babdb2ed292098d (patch) | |
tree | 3ed48ef524b452ca99c559adf27a97e78e45520d /environment.py | |
parent | 154dc839739909bf889b3f438f43a9ff0e3eb608 (diff) | |
download | meson-6f8222a46e6be9dd74f3e42f5babdb2ed292098d.zip meson-6f8222a46e6be9dd74f3e42f5babdb2ed292098d.tar.gz meson-6f8222a46e6be9dd74f3e42f5babdb2ed292098d.tar.bz2 |
Fix for arm library finding.
Diffstat (limited to 'environment.py')
-rw-r--r-- | environment.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/environment.py b/environment.py index e62e1c7..16369f7 100644 --- a/environment.py +++ b/environment.py @@ -2007,6 +2007,8 @@ def get_library_dirs(): # I just don't know what the correct solution is. if plat == 'i686': plat = 'i386' + if plat.startswith('arm'): + plat = 'arm' unixdirs += glob('/usr/lib/' + plat + '*') if os.path.exists('/usr/lib64'): unixdirs.append('/usr/lib64') |