From 09052c0f801ed7577f214307cba7e3f875397af0 Mon Sep 17 00:00:00 2001 From: Dave Eddy Date: Tue, 1 Sep 2015 14:45:56 -0400 Subject: [PATCH] silence make check file list --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 7fd1631..c02c2bb 100644 --- a/Makefile +++ b/Makefile @@ -44,6 +44,6 @@ dumpvar: fi @echo "$(VAR) is '$($(VAR))'" - include ./tools/mk/Makefile.deps include ./tools/mk/Makefile.targ +JSL_FLAGS += --nofilelist