diff options
author | Eric S. Raymond <esr@thyrsus.com> | 2015-01-21 12:56:08 -0500 |
---|---|---|
committer | Eric S. Raymond <esr@thyrsus.com> | 2015-01-21 12:56:08 -0500 |
commit | a61e28529df634963c0967e59aae673f8fc7741e (patch) | |
tree | 2c8e5c9ed1ff63870f8a94bd33ecd08a9825caa7 /gpsctl.c | |
parent | f351f5981604338db80e2b2864b7dcb818e7fc61 (diff) | |
download | gpsd-a61e28529df634963c0967e59aae673f8fc7741e.tar.gz |
Easy splint cleanups. All regression tests pass.
Diffstat (limited to 'gpsctl.c')
-rw-r--r-- | gpsctl.c | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -182,6 +182,7 @@ static void ctlhook(struct gps_device_t *device UNUSED, gps_mask_t changed UNUSE } } +/*@-mustfreeonly -observertrans -statictrans@*/ int main(int argc, char **argv) { int option, status; @@ -844,3 +845,6 @@ int main(int argc, char **argv) /*@ +mustfreeonly +immediatetrans @*/ } } +/*@+mustfreeonly +observertrans +statictrans@*/ + +/* end */ |