configure
changeset 412 84867470a60c
parent 403 57d5da3b6228
child 454 bc000083297a
equal deleted inserted replaced
411:2af8099390e4 412:84867470a60c
   423 	fi
   423 	fi
   424 fi
   424 fi
   425 
   425 
   426 if [ "$SUB_TIMERS_DRIVER" = "xeno" ]; then
   426 if [ "$SUB_TIMERS_DRIVER" = "xeno" ]; then
   427 	RT_LIB_DIR=`$XENO_CONFIG --library-dir`\ -Wl,-rpath\ `$XENO_CONFIG --library-dir`
   427 	RT_LIB_DIR=`$XENO_CONFIG --library-dir`\ -Wl,-rpath\ `$XENO_CONFIG --library-dir`
   428     SUB_EXE_CFLAGS=$SUB_EXE_CFLAGS\ `$XENO_CONFIG --xeno-ldflags`\ -L$RT_LIB_DIR\ -lnative\ -lpcan
   428     SUB_EXE_CFLAGS=$SUB_EXE_CFLAGS\ `$XENO_CONFIG --xeno-ldflags`\ -L$RT_LIB_DIR\ -lnative\ -lrtdm
   429 	SUB_PROG_CFLAGS=$SUB_PROG_CFLAGS\ `$XENO_CONFIG --xeno-cflags`
   429 	SUB_PROG_CFLAGS=$SUB_PROG_CFLAGS\ `$XENO_CONFIG --xeno-cflags`
   430     RTCAN_SOCKET=1
   430     RTCAN_SOCKET=1
   431 fi
   431 fi
   432 
   432 
   433 if [ "$SUB_TIMERS_DRIVER" = "kernel" ]; then
   433 if [ "$SUB_TIMERS_DRIVER" = "kernel" ]; then