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         if [ "$RTAIDIR" = "" ]
   7         then
   8                 echo -n "Enter location of RTAI source tree [/usr/src/rtai]: "
   9                 read RTAIDIR
  10                 : ${RTAIDIR:=/usr/src/rtai}
  11         fi
  12         echo RTAIDIR=$RTAIDIR >>.sourcedirs
  13         (cd include;rm -f rtai;ln -s $RTAIDIR/include rtai)
  14 fi
  15