From c757272443e967ed7fe8e40cd9cae3986be0dd4c Mon Sep 17 00:00:00 2001 From: Max Date: Tue, 8 Nov 2016 16:08:29 +0100 Subject: [PATCH] dtx_check.gawk: add check for repetitive SID FIRST Change-Id: Id7acdfae7880fb488b65435ab8d33f2874499967 --- contrib/dtx_check.gawk | 4 ++++ 1 file changed, 4 insertions(+) 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) {