Sun, 22 Jul 2018 23:17:59 +0200rtdm skin is equivalent to posix in Xenomai3's xeno-config. Replace XENOMAI_RTDM_*FLAGS by XENOMAI_LIB_*FLAGS to distinguish lib/example flags. stable-1.5
Edouard Tisserant <edouard.tisserant@gmail.com> [Sun, 22 Jul 2018 23:17:59 +0200] rev 2702
rtdm skin is equivalent to posix in Xenomai3's xeno-config. Replace XENOMAI_RTDM_*FLAGS by XENOMAI_LIB_*FLAGS to distinguish lib/example flags.