Module: xenomai-head
Branch: signal-revert
Commit: 0fe092f3abff594512283a8ddc97428bb5b91395
URL:    
http://git.xenomai.org/?p=xenomai-head.git;a=commit;h=0fe092f3abff594512283a8ddc97428bb5b91395

Author: Philippe Gerum <r...@xenomai.org>
Date:   Mon Oct 25 17:24:33 2010 +0200

scripts: remove reference to discarded RTAI skin

---

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

diff --git a/scripts/xeno-config.in b/scripts/xeno-config.in
index fffffd8..4b82b20 100644
--- a/scripts/xeno-config.in
+++ b/scripts/xeno-config.in
@@ -50,7 +50,7 @@ Options :
         --cc
         --arch
         --prefix
-        --skin native|posix|psos|rtai|rtdm|uitron|vrtx|vxworks
+        --skin native|posix|psos|rtdm|uitron|vrtx|vxworks
         --cflags
         --ldflags
         --lib*-dir,--libdir,--user-libdir
@@ -116,7 +116,7 @@ while test $# -gt 0; do
                native|rtdm)
                    echo $XENO_BASE_CFLAGS
                    ;;
-               psos|psos+|posix|rtai|uitron|vrtx|vxworks)
+               psos|psos+|posix|uitron|vrtx|vxworks)
                    if [ "x$skin" = "xpsos" ]; then
                        skin="psos+"
                    fi
@@ -139,7 +139,7 @@ while test $# -gt 0; do
                    posix_ldflags
                    echo
                    ;;
-               native|psos|psos+|rtai|uitron|vrtx|vxworks)
+               native|psos|psos+|uitron|vrtx|vxworks)
                    if [ "x$skin" = "xpsos+" ]; then
                        skin="psos"
                    fi


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

Reply via email to