diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index dc81023c46240bcea73be0f1a17860bc815fdfef..2860f8f9eddc58d05ae65cdc6d57126bfa5903f8 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -113,7 +113,7 @@ overlap_check: script: - checkOverlaps -c topside.xml | tee doc/overlap_check.out - echo "$(cat doc/overlap_check.out | grep ovlp | wc -l) overlaps..." - - if [[ "$(cat doc/overlap_check.out | grep ovlp | wc -l)" -gt "1" ]] ; then echo "Overlaps exist!" && false ; fi + - if [[ "$(cat doc/overlap_check.out | grep ovlp | wc -l)" -gt "0" ]] ; then echo "Overlaps exist!" && false ; fi topside:config_testing: stage: test