Enforces TRUE/FALSE for edge (#11495)

This commit is contained in:
MarinaGryphon
2021-03-23 22:20:12 -05:00
committed by GitHub
parent 4c10c1d84f
commit 00d6879aff
22 changed files with 94 additions and 43 deletions

View File

@@ -83,6 +83,15 @@ else
echo "PASS: to_world count matches" >> code_error.log
fi
echo "Checking for edge = 0/1 uses:" >> code_error.log
grep -r '\bedge\s*=\s*\d' **/*.dm >> code_error.log
if [ $? -eq 0 ]; then
ERROR_COUNT=$(($ERROR_COUNT+1))
echo "FAIL: Found edge = 0/1 in code" >> code_error.log
else
echo "PASS: Did not find edge = 0/1 in code:" >> code_error.log
fi
echo "Found $ERROR_COUNT Errors while performing code check"
if [ $ERROR_COUNT -ne 0 ]; then