diff --git a/contrib/dtx_check.gawk b/contrib/dtx_check.gawk index 3a3fa26d2..9a3ddcf6c 100755 --- a/contrib/dtx_check.gawk +++ b/contrib/dtx_check.gawk @@ -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) {