scripts/dep.pcmcia

   1 #!/bin/sh
   2
   3 default=""
   4 for i in $PCMCIADIR `echo $LINUXDIR/pcmcia*`; do
   5     if [ -r $i ]; then
   6         default=$i
   7     fi
   8 done
   9
  10 echo -n "Enter location of PCMCIA source tree [$default]: "
  11 read PCMCIADIR
  12 : ${PCMCIADIR:=$default}
  13
  14 if [ -r $PCMCIADIR ]; then
  15     echo using PCMCIADIR=$PCMCIADIR
  16 else
  17     echo not configuring PCMCIA support
  18 fi