configure
changeset 803 cb315e75b3bd
parent 800 f0d16976e46e
child 806 b9f1fcda7d30
equal deleted inserted replaced
802:82e8646d08f5 803:cb315e75b3bd
   480 	   SUB_EXE_CFLAGS=$SUB_EXE_CFLAGS\ -lpthread\ -lrt
   480 	   SUB_EXE_CFLAGS=$SUB_EXE_CFLAGS\ -lpthread\ -lrt
   481 	fi
   481 	fi
   482 fi
   482 fi
   483 
   483 
   484 if [ "$SUB_TIMERS_DRIVER" = "xeno" ]; then
   484 if [ "$SUB_TIMERS_DRIVER" = "xeno" ]; then
   485     SUB_EXE_CFLAGS=$SUB_EXE_CFLAGS\ `$XENO_CONFIG --skin=alchemy --skin=rtdm --ldflags`\ -lrtdm
   485     SUB_EXE_CFLAGS=$SUB_EXE_CFLAGS\ `$XENO_CONFIG --skin=alchemy --skin=rtdm --ldflags`\ 
   486 	SUB_PROG_CFLAGS=$SUB_PROG_CFLAGS\ -DUSE_XENO\ `$XENO_CONFIG --skin=alchemy --skin=rtdm --cflags`
   486 	SUB_PROG_CFLAGS=$SUB_PROG_CFLAGS\ -DUSE_XENO\ `$XENO_CONFIG --skin=alchemy --skin=rtdm --cflags`
   487     RTCAN_SOCKET=1
   487     RTCAN_SOCKET=1
   488 fi
   488 fi
   489 
   489 
   490 if [ "$SUB_TIMERS_DRIVER" = "rtai" ]; then
   490 if [ "$SUB_TIMERS_DRIVER" = "rtai" ]; then