Skip to content
Snippets Groups Projects

Fixing number of overlaps allowed to be ZERO.

Merged Whitney Armstrong requested to merge overlap_fix into master
1 file
+ 1
1
Compare changes
  • Side-by-side
  • Inline
+ 1
1
@@ -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
Loading