From: Lucas Bajolet Date: Wed, 8 Oct 2014 14:54:41 +0000 (-0400) Subject: jenkins: Added opportunity to Jenkins paths X-Git-Tag: v0.6.10~40^2 X-Git-Url: http://nitlanguage.org jenkins: Added opportunity to Jenkins paths Signed-off-by: Lucas Bajolet --- 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=""