--- a/configure Thu Mar 08 15:09:22 2018 +0100
+++ b/configure Tue Mar 20 16:04:52 2018 +0100
@@ -482,8 +482,8 @@
fi
if [ "$SUB_TIMERS_DRIVER" = "xeno" ]; then
- SUB_EXE_CFLAGS=$SUB_EXE_CFLAGS\ `$XENO_CONFIG --skin=native --ldflags`\ -lrtdm
- SUB_PROG_CFLAGS=$SUB_PROG_CFLAGS\ -DUSE_XENO\ `$XENO_CONFIG --skin=rtdm --cflags`
+ SUB_EXE_CFLAGS=$SUB_EXE_CFLAGS\ `$XENO_CONFIG --skin=alchemy --skin=rtdm --ldflags`\ -lrtdm
+ SUB_PROG_CFLAGS=$SUB_PROG_CFLAGS\ -DUSE_XENO\ `$XENO_CONFIG --skin=alchemy --skin=rtdm --cflags`
RTCAN_SOCKET=1
fi