changeset 747:011f66c78cfd

Added -m option for library lint.
author neelin <neelin>
date Wed, 08 Feb 1995 19:37:20 +0000
parents da5445d96596
children 27a7ac9f963b
files progs/Proglib/Makefile
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/progs/Proglib/Makefile
+++ b/progs/Proglib/Makefile
@@ -46,7 +46,7 @@
 
 # How to create lint library
 $(LINT_PROG_LIB) : $(LINT_OBJS)
-	lint -o $(PROG_LIB) -x -u $(LINTFLAGS) $(LINT_OBJS)
+	lint -o $(PROG_LIB) -m -x -u $(LINTFLAGS) $(LINT_OBJS)
 
 # Remove all derived files in this directory
 clean: