1
0
mirror of https://github.com/MariaDB/server.git synced 2025-08-01 03:47:19 +03:00

Fix main.order_by_join_limit on x86-debian-12: Mask the cost numbers.

This commit is contained in:
Sergei Petrunia
2024-09-11 14:07:32 +03:00
parent 4a09e74387
commit c6eadc4087
3 changed files with 27 additions and 10 deletions

View File

@ -0,0 +1,11 @@
# Mask the cost value from any field that looks like
# "xxx_cost" : double_number
# Print the
# "xxx_cost" : "REPLACED"
# instead
--replace_regex /(_cost": )[0-9.e-]+/\1"REPLACED"/
#--replace_regex /(_cost": )[0-9.e-]+/"REPLACED"/
#--replace_regex /[0-9]+/BBB/
#--replace_regex /("r_engine_stats":) {[^}]*}/\1 REPLACED/