diff options
| author | 2016-09-19 17:49:03 +0200 | |
|---|---|---|
| committer | 2016-09-21 10:54:42 +0200 | |
| commit | 16243bdbec94c03c38db92cffe2e2d69f84cf79b (patch) | |
| tree | 10fb93e3580aa022752a8f8ce6d30a819192831b /tools/fileslist_util.py | |
| parent | 53b7fbbe78b6218962cc439c568533dd2c4e31c2 (diff) | |
Fix bad JACK_PLUGIN variable
Changed to LOCAL_JACK_PLUGIN.
(cherry picked from commit 17924b136cb5bfc60d138e8c7e5c18a90b5965c3)
Test: Manually tested by some manual activations of the coverage plugin.
Change-Id: I1be4aaa502103fc308d35a5672dc4fe5900c4ebe
Diffstat (limited to 'tools/fileslist_util.py')
0 files changed, 0 insertions, 0 deletions