diff options
| author | Simon Glass | 2016-03-06 19:45:37 -0700 |
|---|---|---|
| committer | Simon Glass | 2016-03-14 15:34:50 -0600 |
| commit | ff690df9fce2db07391a53f6cf4c5858b9ea6fad (patch) | |
| tree | 93787887181b64e4b67eea909ccc194025857182 /board | |
| parent | ad24ebace118f4145b1a3f782ddf9b9ce5f8dcf3 (diff) | |
buildman: Allow the toolchain priority to be specified
At present the priority of a toolchain is calculated from its filename based
on hard-coded rules. Allow it to be specified by the caller. We will use
this in a later patch. Also display the priority and provide a message when
it is overriden by another toolchain of higher priority.
Signed-off-by: Simon Glass <sjg@chromium.org>
Reviewed-by: Joe Hershberger <joe.hershberger@ni.com>
Diffstat (limited to 'board')
0 files changed, 0 insertions, 0 deletions