Fix arm platform names

Tento commit je obsažen v:
Thom Wiggers 2019-02-27 13:11:36 +01:00
rodič 1180de5d30
revize ea47ab3dad
V databázi nebyl nalezen žádný známý klíč pro tento podpis
ID GPG klíče: 001BB0A7CE26E363

Zobrazit soubor

@ -43,7 +43,7 @@ def check_functest_sanitizers(scheme_name, implementation_name):
env = None
if platform.machine() == 'powerpc':
raise unittest.SkipTest()
elif platform.machine() in ['arm32', 'aarch64']:
elif platform.machine() in ['armv7l', 'aarch64']:
env = {'ASAN_OPTIONS': 'detect_leaks=0'}
else:
print("Supported platform: {}".format(platform.machine))