jenkins: Added opportunity to Jenkins paths

Signed-off-by: Lucas Bajolet <r4pass@hotmail.com>

diff --git a/misc/jenkins/listnit.sh b/misc/jenkins/listnit.sh
index 2d38c2f..d0f1ac8 100755 (executable)
--- 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=""