config/debug.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Tue Jan 25 20:31:16 2011 +0100 (2011-01-25)
changeset 2279 a559d9890c02
parent 924 941294c6fcf1
permissions -rw-r--r--
config: add an option to name the sysroot directory

Depending on local policies, some users have expressed a need to
have the sysroot be named differently than the hard-coded name.

Add an option for that.
Default to 'sysroot' to match the existing literature.

While at it, replace 'sys-root' with 'sysroot' everywhere we
reference the sysroot.

Reported-by: Alexey Kuznetsov <Alexey.KUZNETSOV@youtransactor.com>
Signed-off-by: "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
     1 menu "Debug facilities"
     2 source "config.gen/debug.in"
     3 endmenu