echo " * Automatically generated C config: don't edit" >> $CONFIG_H
echo " */" >> $CONFIG_H
-echo '#define '${PROJECT}'_VERSION "'$VERS1.$VERS2.$VERS3\" >> $CONFIG_H
-echo '#define '${PROJECT}'_VERSION_CODE ('0x1000*$VERS1+0x100*$VERS2+$VERS3')' >> $CONFIG_H
-
DEFAULT=""
if [ "$1" = "-d" ] ; then
DEFAULT="-d"
if [ "$CONFIG_RTHAL" != "" ];then
echo You appear to be running an RTAI-patched kernel
- echo -n "Enter location of RTAI source tree [/usr/src/rtai]: "
- read RTAIDIR
- : ${RTAIDIR:=/usr/src/rtai}
+ if [ "$RTAIDIR" = "" ]
+ then
+ echo -n "Enter location of RTAI source tree [/usr/src/rtai]: "
+ read RTAIDIR
+ : ${RTAIDIR:=/usr/src/rtai}
+ fi
echo RTAIDIR=$RTAIDIR >>.sourcedirs
if [ -d $RTAIDIR/include/rtai ];then
(cd include;rm -f rtai;ln -s $RTAIDIR/include/rtai rtai)