From 0154d24406db0669d7a33a5d1448ba9f28cee587 Mon Sep 17 00:00:00 2001 From: Lucas Bajolet Date: Wed, 8 Oct 2014 10:54:41 -0400 Subject: [PATCH] jenkins: Added opportunity to Jenkins paths Signed-off-by: Lucas Bajolet --- misc/jenkins/listnit.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/misc/jenkins/listnit.sh b/misc/jenkins/listnit.sh index 2d38c2f..d0f1ac8 100755 --- a/misc/jenkins/listnit.sh +++ b/misc/jenkins/listnit.sh @@ -26,7 +26,7 @@ exclude="parser_abs.nit\|nitcc_lexer0" # Directories needed for explicit -I options. -includedirs="src contrib/tnitter/src/ contrib/benitlux/src/ examples/ contrib/wiringPi/lib/" +includedirs="src contrib/tnitter/src/ contrib/benitlux/src/ examples/ contrib/wiringPi/lib/ contrib/opportunity/src/" # Flag -I incl="" -- 1.7.9.5