123456789101112131415161718192021 |
- #!/bin/bash
- if [ x$1 = x ] ; then
- #echo usage: $0 boardname
- #exit
- for b in ../../boards/* ; do
- if test -f $b/board.lkr ; then
- echo board=$b
- export BOARD=`basename $b`
- echo $BOARD
- if ! make ; then exit; fi
- fi
- done
- exit
- fi
- export BOARD=$1
- make
|