[Xenomai-core] Cosmetic changes to script xeno-config + man page

[Romain Lenglet <rlenglet@domain.hid>]

[-- Attachment #1: Type: text/plain, Size: 2272 bytes --]

Hi,


Here is a man page that I have written for xeno-config.
Philippe, you will have to create a "man" directory to contain 
that man file and an GNUmakefile.am file that contains:
man1_MANS = xeno-config.man
dist_man1_MANS = $(man1_MANS)

And add "man" to the SUBDIRS in the root GNUmakefile.am.


I will write man pages for xeno-info, xeno-load and xeno-test 
when I have some time this week.


By the way, I noticed that the output of function usage() in that 
script was wrong. Here is a correct version, to replace the one 
in scripts/xeno-config.in:
usage ()
{
cat <<EOF
Usage xeno-config OPTIONS
Options :
        --help
        -v,--verbose
        --version
        --cc
        --cross-compile
        --arch
        --subarch
        --prefix
        --config
        --mod*-cflags,--kernel-cflags
        --xeno-cflags,--fusion-cflags
        --xeno-ldflags,--fusion-ldflags
        --posix-cflags
        --posix-ldflags
        --uvm-cflags
        --uvm-ldflags
        --linux-dir,--linux
        --linux-ver*
        --mod*-dir
        --sym*-dir
        --lib*-dir,--libdir,--user-libdir
EOF
    exit $1
}


And I also noticed a few echos with unquoted "*" in function 
verbose(). Here is a correct version without any "*":
verbose ()
{
    echo xeno-config --verbose

    echo "   " --version="\"${XENO_VERSION}\""
    echo "   " --cc="\"$XENO_CC\""
    echo "   " --cross-compile="\"$CROSS_COMPILE\""
    echo "   " --arch="\"$XENO_TARGET_ARCH\""
    echo "   " --subarch="\"$XENO_TARGET_SUBARCH\""
    echo "   " --prefix="\"$XENO_PREFIX\""
    echo "   " --config="\"$XENO_CONFIG\""
    echo "   " --kernel-cflags="\"$XENO_KERNEL_CFLAGS\""

    echo "   " --xeno-cflags="\"$XENO_BASE_CFLAGS\""
    echo "   " --xeno-ldflags="\"$XENO_BASE_LDFLAGS\""
    echo "   " --posix-cflags="\"$XENO_POSIX_CFLAGS\""
    echo "   " --posix-ldflags="\"$XENO_POSIX_LDFLAGS\""
    echo "   " --uvm-cflags="\"=$XENO_UVM_CFLAGS \""
    echo "   " --uvm-ldflags="\"=$XENO_UVM_LDFLAGS\""

    echo "   " --module-dir="\"=$XENO_MODULE_DIR\""
    echo "   " --symbol-dir="\"$XENO_SYMBOL_DIR\""
    echo "   " --libdir="\"$XENO_LIBRARY_DIR\""
    echo "   " --linux-dir="\"$XENO_LINUX_DIR\""
    echo "   " --linux-version="\"$XENO_LINUX_VERSION\""
}


-- 
Romain Lenglet

[-- Attachment #2: xeno-config.man --]
[-- Type: application/x-troff-man, Size: 5999 bytes --]