diff options
Diffstat (limited to 'protocols/Makefile')
| -rw-r--r-- | protocols/Makefile | 3 | 
1 files changed, 3 insertions, 0 deletions
diff --git a/protocols/Makefile b/protocols/Makefile index cc45fb09..7f793bc4 100644 --- a/protocols/Makefile +++ b/protocols/Makefile @@ -25,6 +25,9 @@ LFLAGS += -r  # [SH] Phony targets  all: protocols.o +check: all +gcov: +	gcov *.c  .PHONY: all clean distclean $(subdirs)  | 
