This looks ok. I will push it.
Coverity is run up 1215 am and 1215 pm my time (910am now) so we should
have feedback in a few hours.
--joel
On Tue, May 16, 2023 at 7:04 PM wrote:
> From: Aaron Nyholm
>
> Coverity #1530126
> Coverity #1530125
> ---
> cpukit/libmisc/shell/main_flashdev.c | 27
From: Aaron Nyholm
Coverity #1530126
Coverity #1530125
---
cpukit/libmisc/shell/main_flashdev.c | 27 ++-
1 file changed, 10 insertions(+), 17 deletions(-)
diff --git a/cpukit/libmisc/shell/main_flashdev.c
b/cpukit/libmisc/shell/main_flashdev.c
index 495373235f..ca2454b