Index: lib/xray/xray_init.cc =================================================================== --- lib/xray/xray_init.cc +++ lib/xray/xray_init.cc @@ -48,7 +48,7 @@ // and then proceed to look for the .xray_instr_map section/segment. void __xray_init() XRAY_NEVER_INSTRUMENT { initializeFlags(); - if (__start_xray_instr_map == nullptr) { + if (__start_xray_instr_map == nullptr && common_flags()->verbosity) { Report("XRay instrumentation map missing. Not initializing XRay.\n"); return; }