diff options
author | Gary E. Miller <gem@rellim.com> | 2015-03-28 15:02:40 -0700 |
---|---|---|
committer | Gary E. Miller <gem@rellim.com> | 2015-03-28 15:02:40 -0700 |
commit | 5f710d3469c8da31014000ac13664fe92c57757d (patch) | |
tree | fee8c4b0da01dcf356a6412365ff4595f8b967fa | |
parent | e703b41d1f54789c04ba287bba5734e43ede7bcb (diff) | |
download | gpsd-5f710d3469c8da31014000ac13664fe92c57757d.tar.gz |
Last splint thing in ppsthread.c
-rw-r--r-- | ppsthread.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ppsthread.c b/ppsthread.c index 88685be8..00037b33 100644 --- a/ppsthread.c +++ b/ppsthread.c @@ -991,7 +991,7 @@ static /*@null@*/ void *gpsd_ppsmonitor(void *arg) struct timespec delay; /* delay as a printable string */ char delay_str[TIMESPEC_LEN]; - char *log1 = ""; + /*@observer@*/ char *log1 = ""; /* ppstimes.real is the time we think the pulse represents */ struct timedelta_t ppstimes; thread_context->log_hook(thread_context, THREAD_RAW, |