CI: fix RHEL build status

Signed-off-by: Raphael Defosseux <raphael.defosseux@eurecom.fr>
2019-03-12 14:12:30 +01:00
parent d4495ec78e
commit a299d6e248
5 changed files with 23 additions and 13 deletions
@@ -180,7 +180,7 @@ echo "Checking build status"
 echo "############################################################"

 LOG_PATTERN=.Rel14.txt
-NB_PATTERN_FILES=4
+NB_PATTERN_FILES=7

 LOG_FILES=`ls $ARCHIVES_LOC/*.txt`
 STATUS=0