Module: xenomai-head Branch: signal-revert Commit: 0fe092f3abff594512283a8ddc97428bb5b91395 URL: http://git.xenomai.org/?p=xenomai-head.git;a=commit;h=0fe092f3abff594512283a8ddc97428bb5b91395
Author: Philippe Gerum <[email protected]> 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 [email protected] https://mail.gna.org/listinfo/xenomai-git
