Update call to xeno-config in configure to Xenomai 3
authorEdouard Tisserant
Tue, 20 Mar 2018 16:04:52 +0100
changeset 800 f0d16976e46e
parent 799 6d3ad380dcd3
child 801 32d146b64a35
Update call to xeno-config in configure to Xenomai 3
configure
--- 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