diff options
Diffstat (limited to 'ChibiOS_20.3.2/os/hal/boards/genboards.sh')
-rw-r--r-- | ChibiOS_20.3.2/os/hal/boards/genboards.sh | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/ChibiOS_20.3.2/os/hal/boards/genboards.sh b/ChibiOS_20.3.2/os/hal/boards/genboards.sh new file mode 100644 index 0000000..91b6cc6 --- /dev/null +++ b/ChibiOS_20.3.2/os/hal/boards/genboards.sh @@ -0,0 +1,18 @@ +#!/bin/bash +if [ $# -eq 0 ] +then + find . -name board.fmpp -exec bash genboards.sh '{}' \; +elif [ $# -eq 1 ] +then + path=$(readlink -f $(dirname $1)) + echo "Processing: $1" + cd $path + if ! fmpp -q -C board.fmpp + then + echo + echo "aborted" + exit 1 + fi +else + echo "illegal number of arguments" +fi |