rtdm skin is equivalent to posix in Xenomai3's xeno-config. Replace XENOMAI_RTDM_*FLAGS by XENOMAI_LIB_*FLAGS to distinguish lib/example flags.

$Id$

Authors:
Dipl.-Ing. (FH) Florian Pose <fp@igh-essen.com>