diff options
Diffstat (limited to 'lib/chibios/os/hal/boards/genboards.sh')
-rw-r--r-- | lib/chibios/os/hal/boards/genboards.sh | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/lib/chibios/os/hal/boards/genboards.sh b/lib/chibios/os/hal/boards/genboards.sh new file mode 100644 index 000000000..91b6cc6ad --- /dev/null +++ b/lib/chibios/os/hal/boards/genboards.sh | |||
@@ -0,0 +1,18 @@ | |||
1 | #!/bin/bash | ||
2 | if [ $# -eq 0 ] | ||
3 | then | ||
4 | find . -name board.fmpp -exec bash genboards.sh '{}' \; | ||
5 | elif [ $# -eq 1 ] | ||
6 | then | ||
7 | path=$(readlink -f $(dirname $1)) | ||
8 | echo "Processing: $1" | ||
9 | cd $path | ||
10 | if ! fmpp -q -C board.fmpp | ||
11 | then | ||
12 | echo | ||
13 | echo "aborted" | ||
14 | exit 1 | ||
15 | fi | ||
16 | else | ||
17 | echo "illegal number of arguments" | ||
18 | fi | ||