From 1ea33bc3919faf08b1a174d09250fda119fb4ce7 Mon Sep 17 00:00:00 2001 From: Jean Privat Date: Fri, 21 Aug 2015 22:54:58 -0400 Subject: [PATCH] check_contrib: also check lib Signed-off-by: Jean Privat --- misc/jenkins/check_contrib.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/misc/jenkins/check_contrib.sh b/misc/jenkins/check_contrib.sh index 320dac8..4b481e3 100755 --- a/misc/jenkins/check_contrib.sh +++ b/misc/jenkins/check_contrib.sh @@ -13,12 +13,12 @@ # See the License for the specific language governing permissions and # limitations under the License. -# Check the build and the execution of software in examples/ and contrib/ +# Check the build and the execution of software in lib/, examples/ and contrib/ # The script must be run from the root Nit directory. # # various .xml junit file will be generated in the root directory for jenkins. -projects=`echo examples/*/Makefile contrib/*/Makefile` +projects=`echo lib/*/Makefile examples/*/Makefile contrib/*/Makefile` failed= for p in $projects; do -- 1.7.9.5