diff options
Diffstat (limited to 'documentation/ref-manual/ref-variables.xml')
| -rw-r--r-- | documentation/ref-manual/ref-variables.xml | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/documentation/ref-manual/ref-variables.xml b/documentation/ref-manual/ref-variables.xml index fd15dff9a1..b26f6f73f7 100644 --- a/documentation/ref-manual/ref-variables.xml +++ b/documentation/ref-manual/ref-variables.xml @@ -3819,9 +3819,6 @@ "tools-debug" - Adds debugging tools such as gdb and strace. -"tools-profile" - Adds profiling tools such as oprofile, - exmap, lttng and valgrind (x86 only). - "tools-sdk" - Adds development tools such as gcc, make, pkgconfig and so forth. |