Merge: check_contrib: filter-out contrib/nitc when checking Makefile of projects

privat · privat · commit 6f4d1ceed600 · 2015-12-10T19:31:31.000-05:00
src/Makefile is already executed at the begin of the tests, so a double execution is mostly useless and time-expensive. Pull-Request: #1888 Reviewed-by: Alexis Laferrière <alexis.laf@xymus.net>
diff --git 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=

Original file line number	Diff line number	Diff line change
`@@ -22,7 +22,7 @@`
`22`	`22`	`#`
`23`	`23`	`# check_contrib.sh check android`
`24`	`24`
`25`		-projects=`echo lib//Makefile examples//Makefile contrib/*/Makefile`
	`25`	+projects=`ls -1 lib//Makefile examples//Makefile contrib/*/Makefile \| grep -v contrib/nitc/`
`26`	`26`	`rules=$*`
`27`	`27`
`28`	`28`	`failed=`