Module: xenomai-2.5
Branch: master
Commit: 6d1edfb9259413f4b3fa89ac5e56e08de60bcf0d
URL:    
http://git.xenomai.org/?p=xenomai-2.5.git;a=commit;h=6d1edfb9259413f4b3fa89ac5e56e08de60bcf0d

Author: Gilles Chanteperdrix <gilles.chanteperd...@xenomai.org>
Date:   Tue Mar  2 01:33:52 2010 +0100

xeno-config: support --skin=foo option in addition to --skin foo

---

 scripts/xeno-config.in |    3 +++
 1 files changed, 3 insertions(+), 0 deletions(-)

diff --git a/scripts/xeno-config.in b/scripts/xeno-config.in
index d39998e..e3e1b56 100644
--- a/scripts/xeno-config.in
+++ b/scripts/xeno-config.in
@@ -107,6 +107,9 @@ while test $# -gt 0; do
            skin="$2"
            shift
            ;;
+       --skin=*)
+           skin=`expr "$1" : '--skin=\(.*\)'`
+           ;;
        --cflags)
            case "$skin" in
                native|rtdm)


_______________________________________________
Xenomai-git mailing list
Xenomai-git@gna.org
https://mail.gna.org/listinfo/xenomai-git

Reply via email to