[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[gpsd-dev] [PATCH 1/7] Fix two splint annotations.
From: |
Beat Bolli |
Subject: |
[gpsd-dev] [PATCH 1/7] Fix two splint annotations. |
Date: |
Sat, 2 Nov 2013 18:49:59 +0100 |
Signed-off-by: Beat Bolli <address@hidden>
---
libgpsd_core.c | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/libgpsd_core.c b/libgpsd_core.c
index 1d5038d..d76de68 100644
--- a/libgpsd_core.c
+++ b/libgpsd_core.c
@@ -41,14 +41,14 @@ void gpsd_acquire_reporting_lock(void)
{
/*@ -unrecog (splint has no pthread declarations as yet) @*/
(void)pthread_mutex_lock(&report_mutex);
- /* +unrecog */
+ /*@ +unrecog @*/
}
void gpsd_release_reporting_lock(void)
{
/*@ -unrecog (splint has no pthread declarations as yet) @*/
(void)pthread_mutex_unlock(&report_mutex);
- /* +unrecog */
+ /*@ +unrecog @*/
}
#endif /* PPS_ENABLE */
--
1.8.4.rc3
- [gpsd-dev] [PATCH 0/7] gpsmon: PPS monitoring, Beat Bolli, 2013/11/02
- [gpsd-dev] [PATCH 1/7] Fix two splint annotations.,
Beat Bolli <=
- [gpsd-dev] [PATCH 2/7] Typo fixes., Beat Bolli, 2013/11/02
- [gpsd-dev] [PATCH 3/7] ppsthread: clarify the description., Beat Bolli, 2013/11/02
- [gpsd-dev] [PATCH 4/7] gpsmon: log the file name instead of its FILE *, Beat Bolli, 2013/11/02
- [gpsd-dev] [PATCH 5/7] gpsmon: serialize output to the packetwin., Beat Bolli, 2013/11/02
- [gpsd-dev] [PATCH 6/7] gpsmon: refactor gpsd_report()., Beat Bolli, 2013/11/02
- [gpsd-dev] [PATCH 7/7] gpsmon: unconditionally log the PPS reports to the packet window., Beat Bolli, 2013/11/02