dep.rtai

最新rtlinux内核源码

#!/bin/sh

if [ "$CONFIG_RTHAL" != "" ];then
	echo You appear to be running an RTAI-patched kernel

	default=${RTAIDIR:=/usr/src/rtai}
	if [ "${interactive}" = "y" ]
	then
		echo -n "Enter location of RTAI source tree [${default}]: "
		read RTAIDIR
	fi
	: ${RTAIDIR:=${default}}
	if [ -d ${RTAIDIR}/include ];then
		echo RTAIDIR=$RTAIDIR >>.buildvars
		echo CFLAGS += -I $RTAIDIR/include >>.buildvars
	fi
	export RTAIDIR
fi