From 58761e8da635c5fe707bf4ecd4e70a44a6c466de Mon Sep 17 00:00:00 2001 From: Jean Privat Date: Tue, 8 Dec 2015 15:49:31 -0500 Subject: [PATCH 1/1] check_contrib: filter-out contrib/nitc when checking projects. It was already executed. Signed-off-by: Jean Privat --- misc/jenkins/check_contrib.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/misc/jenkins/check_contrib.sh b/misc/jenkins/check_contrib.sh index df81660..76dcbbb 100755 --- a/misc/jenkins/check_contrib.sh +++ b/misc/jenkins/check_contrib.sh @@ -22,7 +22,7 @@ # # check_contrib.sh check android -projects=`echo lib/*/Makefile examples/*/Makefile contrib/*/Makefile` +projects=`ls -1 lib/*/Makefile examples/*/Makefile contrib/*/Makefile | grep -v contrib/nitc/` rules=$* failed= -- 1.7.9.5