diff options
Diffstat (limited to 'os')
| -rw-r--r-- | os/rt/src/chtm.c | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/os/rt/src/chtm.c b/os/rt/src/chtm.c index a0001cb62..2ab4619c2 100644 --- a/os/rt/src/chtm.c +++ b/os/rt/src/chtm.c @@ -57,14 +57,12 @@ static inline void tm_stop(time_measurement_t *tmp, tmp->n++;
tmp->last = (now - tmp->last) - offset;
tmp->cumulative += (rttime_t)tmp->last;
- /*lint -save -e9013 [15.7] There is no else because it is not needed.*/
if (tmp->last > tmp->worst) {
tmp->worst = tmp->last;
}
- else if (tmp->last < tmp->best) {
+ if (tmp->last < tmp->best) {
tmp->best = tmp->last;
}
- /*lint -restore*/
}
/*===========================================================================*/
|