aboutsummaryrefslogtreecommitdiffstats
path: root/os/rt/src/chtm.c
diff options
context:
space:
mode:
authorGiovanni Di Sirio <gdisirio@gmail.com>2016-01-09 16:52:30 +0000
committerGiovanni Di Sirio <gdisirio@gmail.com>2016-01-09 16:52:30 +0000
commit927be6a82c604b6da23ed29815326c5da60b6337 (patch)
tree1e0bb6d8535e35f18128ac0f162e0b80b8dfc084 /os/rt/src/chtm.c
parent958435b034750b49f2a7ff2ec44fdda301191ebb (diff)
downloadChibiOS-927be6a82c604b6da23ed29815326c5da60b6337.tar.gz
ChibiOS-927be6a82c604b6da23ed29815326c5da60b6337.tar.bz2
ChibiOS-927be6a82c604b6da23ed29815326c5da60b6337.zip
Fixed bug #688.
git-svn-id: svn://svn.code.sf.net/p/chibios/svn/trunk@8730 35acf78f-673a-0410-8e92-d51de3d6d3f4
Diffstat (limited to 'os/rt/src/chtm.c')
-rw-r--r--os/rt/src/chtm.c4
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*/
}
/*===========================================================================*/