diff --git a/scripts/specialize-patch b/scripts/specialize-patch index f3ae24262..124311799 100755 --- a/scripts/specialize-patch +++ b/scripts/specialize-patch @@ -151,6 +151,12 @@ function evaluate(stmnt, pattern, arg, op, result) { { last_stmnt = stmnt + pattern = "\\([[:blank:]]*([0-9]+)[[:blank:]]*\\)" + while (match(stmnt, pattern, op) != 0) + { + sub(pattern, op[1], stmnt) + } + pattern = "![[:blank:]]*([0-9]+)" while (match(stmnt, pattern, op) != 0) {