Allow per device timeout configurations.

Pesky emulator.

Change-Id: Ie49bd93c2393172e41cd35b7b8f03ecb20b6582a
This commit is contained in:
Dan Albert
2014-07-25 16:25:40 -07:00
parent 68d5101b7c
commit 0598fd4f2b

View File

@@ -23,6 +23,11 @@ triples = {
'hammerhead': 'arm-linux-androideabi',
}
timeouts = {
'generic_x86': '120',
'hammerhead': '60',
}
# use -I
includes = {
'generic': [
@@ -231,3 +236,6 @@ config.ldflags = (
)
config.crtbegin = os.path.join(config.android_root, crtbegin)
config.crtend = os.path.join(config.android_root, crtend)
if device in timeouts:
config.timeout = timeouts[device]