# HG changeset patch
# User Edouard Tisserant
# Date 1521558292 -3600
# Node ID f0d16976e46ecc69c9c5c71df174a68a9df1a2ab
# Parent  6d3ad380dcd3b93673995f6608dc7f98fc0b3691
Update call to xeno-config in configure to Xenomai 3

diff -r 6d3ad380dcd3 -r f0d16976e46e 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