diff options
Diffstat (limited to 'contrib/dtx_check.gawk')
| -rwxr-xr-x | contrib/dtx_check.gawk | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/contrib/dtx_check.gawk b/contrib/dtx_check.gawk index 3a3fa26d..9a3ddcf6 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) { |