scripts/dep.rtai

   1 #!/bin/sh
   2
   3 if [ "$CONFIG_RTHAL" != "" ];then
   4         echo You appear to be running an RTAI-patched kernel
   5
   6         default=${RTAIDIR:=/usr/src/rtai}
   7         if [ "${interactive}" = "y" ]
   8         then
   9                 echo -n "Enter location of RTAI source tree [${default}]: "
  10                 read RTAIDIR
  11         fi
  12         : ${RTAIDIR:=${default}}
  13         echo RTAIDIR=$RTAIDIR >>.buildvars
  14         echo CFLAGS += -I $RTAIDIR/include >>.buildvars
  15         export RTAIDIR
  16 fi
  17