Home | History | Annotate | Download | only in 595-profile-saving 
      1 Check that profile recording works even when JIT compilation is not enabled.
      2