diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/about/deprecated.rst | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/docs/about/deprecated.rst b/docs/about/deprecated.rst index 2f51cf7..3b074b9 100644 --- a/docs/about/deprecated.rst +++ b/docs/about/deprecated.rst @@ -20,20 +20,6 @@ they were first deprecated in the 2.10.0 release. What follows is a list of all features currently marked as deprecated. -Build options -------------- - -``gprof`` builds (since 8.0) -'''''''''''''''''''''''''''' - -The ``--enable-gprof`` configure setting relies on compiler -instrumentation to gather its data which can distort the generated -profile. As other non-instrumenting tools are available that give a -more holistic view of the system with non-instrumented binaries we are -deprecating the build option and no longer defend it in CI. The -``--enable-gcov`` build option remains for analysis test case -coverage. - System emulator command line arguments -------------------------------------- |