diff options
| author |   José Bollo <jose.bollo@iot.bzh> | 2019-04-02 09:48:50 +0200 |
|---|---|---|
| committer | José Bollo <jose.bollo@iot.bzh> | 2019-04-02 09:53:18 +0200 |
| commit | 8214e88a036ca06a9a2ba2348e99df4de8bb8940 (patch) | |
| tree | ce9488dd34a4d7c21741c66aa43b8f48b8bc94eb /coverage/scripts/zz-exit.sh | |
| parent | 84f4aec41817417a3b94d91da1b9b2fba9711e40 (diff) | |
evmgr: Fix a "maybe uninitialized" issue
The warning maybe-uninitialized is emited only
when the optimisation level is greater than 0.
For this reason, the error was not discovered
development process. The build config is tuned
to detect that error and the error is fixed.
Change-Id: I14c8ffe6daa3d498268cfadeab20300895b3360e
Signed-off-by: José Bollo <jose.bollo@iot.bzh>
Diffstat (limited to 'coverage/scripts/zz-exit.sh')
0 files changed, 0 insertions, 0 deletions