Allow per device timeout configurations.
Pesky emulator. Change-Id: Ie49bd93c2393172e41cd35b7b8f03ecb20b6582a
This commit is contained in:
@@ -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]
|
||||
|
||||
Reference in New Issue
Block a user