diff options
Diffstat (limited to 'Makefile.am')
| -rw-r--r-- | Makefile.am | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Makefile.am b/Makefile.am index 03be47a0..587801c0 100644 --- a/Makefile.am +++ b/Makefile.am @@ -252,6 +252,8 @@ splint: -splint -redef $(gpsd_SOURCES) $(libgps_c_sources) @echo "Running splint on xgps..." -splint -exportlocal $(xgps_SOURCES) + @echo "Running splint on cgps..." + -splint -exportlocal $(cgps_SOURCES) @echo "Running splint on xgpsspeed..." -splint -exportlocal $(xgpsspeed_c_sources) @echo "Running splint on sirfmon..." |