diff options
| author | Prathamesh Kulkarni <prathamesh.kulkarni@linaro.org> | 2019-03-19 16:08:10 +0530 |
|---|---|---|
| committer | Prathamesh Kulkarni <prathamesh.kulkarni@linaro.org> | 2019-03-19 16:14:51 +0530 |
| commit | ff38b46ce9d3c7e712dc6a34b94d23356e650680 (patch) | |
| tree | 933ab864a991a82d6aa0ed738a3a3df4a7b5cf17 /jenkins-helpers.sh | |
| parent | 278e12dee52779d31cc1b10d39f1dda5b814cf48 (diff) | |
Add support for profiled and LTO profiled bootstrap configs.
Ideally we want profiledbootstrap for each bootstrap config, but I am
not sure if that's supported in practice. Thus in the patch, profiledbootstrap
is enabled only for normal and LTO which are known to work.
Change-Id: I0652a8ee4b64f1e9a66d59481bea52eb21d18a99
Diffstat (limited to 'jenkins-helpers.sh')
0 files changed, 0 insertions, 0 deletions