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 @@ | |||
| 3819 | "tools-debug" - Adds debugging tools such as gdb and | 3819 | "tools-debug" - Adds debugging tools such as gdb and |
| 3820 | strace. | 3820 | strace. |
| 3821 | 3821 | ||
| 3822 | "tools-profile" - Adds profiling tools such as oprofile, | ||
| 3823 | exmap, lttng and valgrind (x86 only). | ||
| 3824 | |||
| 3825 | "tools-sdk" - Adds development tools such as gcc, make, | 3822 | "tools-sdk" - Adds development tools such as gcc, make, |
| 3826 | pkgconfig and so forth. | 3823 | pkgconfig and so forth. |
| 3827 | 3824 | ||