diff options
Diffstat (limited to 'src/backend/utils/Gen_dummy_probes.pl')
| -rw-r--r-- | src/backend/utils/Gen_dummy_probes.pl | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/backend/utils/Gen_dummy_probes.pl b/src/backend/utils/Gen_dummy_probes.pl index cb0ad5a75cf..073c0a854d2 100644 --- a/src/backend/utils/Gen_dummy_probes.pl +++ b/src/backend/utils/Gen_dummy_probes.pl @@ -135,6 +135,12 @@ sub Run() $CondReg ||= $s; } + # s/$/ do {} while (0)/ + { + $s = s /$/ do {} while (0)/s; + $CondReg ||= $s; + } + # P { if (/^(.*)/) { print $1, "\n"; } |