dtx_check.gawk: add check for repetitive SID FIRST

Change-Id: Id7acdfae7880fb488b65435ab8d33f2874499967
This commit is contained in:
Max 2016-11-08 16:08:29 +01:00
parent 388a91cbd1
commit c757272443
1 changed files with 4 additions and 0 deletions

View File

@ -40,6 +40,10 @@ BEGIN {
CHK = "FAIL: " TYPE " followed by " $2 " instead of P2."
ERR++
}
if ("FIRST" == $2 && "FIRST" == TYPE) {
CHK = "FAIL: multiple SID FIRST in a row."
ERR++
}
if ("OK" == CHK && "ONSET" != $2) { # check inter-SID distances:
if ("UPDATE" == TYPE) {
if (DELTA > U_MAX) {