index 1734dfee8cc0ca5f5c8d30caab4fc12f3d57bc12..bc361759219a1dde6fce83b8baae76a74fca63b0 100644 (file)
return data::jsonb;
end;
$$;
--- Also, disable JIT, or we'll get different output on machines
--- where that's been forced on
+-- Disable JIT, or we'll get different output on machines where that's been
+-- forced on
set jit = off;
+-- Similarly, disable track_io_timing, to avoid output differences when
+-- enabled.
+set track_io_timing = off;
-- Simple cases
select explain_filter('explain select * from int8_tbl i8');
explain_filter
index 84549c78fa8fc96b5d84193494ce80b030f07ca5..5069fa87957a4d4ea76ae191a6d5ef1b7c3d99f6 100644 (file)
end;
$$;
--- Also, disable JIT, or we'll get different output on machines
--- where that's been forced on
+-- Disable JIT, or we'll get different output on machines where that's been
+-- forced on
set jit = off;
+-- Similarly, disable track_io_timing, to avoid output differences when
+-- enabled.
+set track_io_timing = off;
-- Simple cases