From 0390f213a5be02b67f67f68b5e833430cfac351c Mon Sep 17 00:00:00 2001 From: Vovanium Date: Mon, 8 Nov 2021 22:33:11 +0300 Subject: [PATCH] % bug in postprocess script --- tools/postprocess.awk | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/postprocess.awk b/tools/postprocess.awk index 68d6463..14fca7d 100644 --- a/tools/postprocess.awk +++ b/tools/postprocess.awk @@ -22,7 +22,7 @@ function replace (s, A, n, r) { if (match ($0, "^\\s*([A-Za-z0-9_]+ *)at", A)) { $0 = replace($0, A, 1, A[1] substr (" ", A[1, "length"])) } - if (match ($0, " range ([0-9]+) \\.\\. ([0-9]+)", A)) { + if (match ($0, "at [0-9]+ range ([0-9]+) \\.\\. ([0-9]+);", A)) { $0 = replace($0, A, 2, substr (" ", A[2, "length"]) A[2]) $0 = replace($0, A, 1, substr (" ", A[1, "length"]) A[1]) }