diff options
author | Marc Bonnici <marc.bonnici@arm.com> | 2017-04-12 12:05:23 +0100 |
---|---|---|
committer | Marc Bonnici <marc.bonnici@arm.com> | 2017-04-21 10:49:20 +0100 |
commit | 7815df59d4323bb648cfdcfb8f35f191b368ba74 (patch) | |
tree | bbc6f52c54c1d1558386643d4b962a920b8e53bd /wa/framework/getters.py | |
parent | 2406d016729be9cf5c15167151772200622d169b (diff) |
Getters: Added support for finding revent files.
Revent files are automatically placed in the sub folder `revent_files` in the
workload directory when recording, therefore when trying to retrieve recordings
the getter now looks inside of the sub directory.
Diffstat (limited to 'wa/framework/getters.py')
-rw-r--r-- | wa/framework/getters.py | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/wa/framework/getters.py b/wa/framework/getters.py index 7c9986c6..777a2620 100644 --- a/wa/framework/getters.py +++ b/wa/framework/getters.py @@ -80,7 +80,16 @@ def get_from_location(basepath, resource): path = os.path.join(basepath, 'bin', resource.abi, resource.filename) if os.path.exists(path): return path - elif resource.kind in ['apk', 'jar', 'revent']: + elif resource.kind == 'revent': + path = os.path.join(basepath, 'revent_files') + if os.path.exists(path): + files = get_by_extension(path, resource.kind) + found_resource = get_generic_resource(resource, files) + if found_resource: + return found_resource + files = get_by_extension(basepath, resource.kind) + return get_generic_resource(resource, files) + elif resource.kind in ['apk', 'jar']: files = get_by_extension(basepath, resource.kind) return get_generic_resource(resource, files) |