diff options
author | Loys Ollivier <lollivier@baylibre.com> | 2017-12-11 11:33:22 +0100 |
---|---|---|
committer | Loys Ollivier <lollivier@baylibre.com> | 2017-12-11 11:33:22 +0100 |
commit | a9fcea01daf49de7099a85691eb4e9fc3b091b7e (patch) | |
tree | 44dfb60125daba87384711d02f02273989b2ac20 /jjb/common/include-apps-header.sh | |
parent | 1d1a61d43745afa2e7422de8122b3dfa63977624 (diff) |
jjb/common: clean up device names to standardized ones.
Use the device_name table aliases earlier in the CI process. That way
all the scripts are using the correct device name. Avoiding name
mismatch resulting to CI failure.
Change-Id: Ia6f9f8beb06c43a24605abb24e676eaed68cc67e
Signed-off-by: Loys Ollivier <lollivier@baylibre.com>
Diffstat (limited to 'jjb/common/include-apps-header.sh')
0 files changed, 0 insertions, 0 deletions