diff options
Diffstat (limited to 'lib/chibios/os/hal/boards/genboard.sh')
-rw-r--r-- | lib/chibios/os/hal/boards/genboard.sh | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/lib/chibios/os/hal/boards/genboard.sh b/lib/chibios/os/hal/boards/genboard.sh new file mode 100644 index 000000000..8e8a1124c --- /dev/null +++ b/lib/chibios/os/hal/boards/genboard.sh | |||
@@ -0,0 +1,17 @@ | |||
1 | #!/bin/bash | ||
2 | if [ $# -eq 1 ] | ||
3 | then | ||
4 | echo "Processing: $1" | ||
5 | if ! fmpp -q -C $1/cfg/board.fmpp | ||
6 | then | ||
7 | echo | ||
8 | echo "aborted" | ||
9 | exit 1 | ||
10 | else | ||
11 | echo | ||
12 | echo "done" | ||
13 | exit 0 | ||
14 | fi | ||
15 | else | ||
16 | echo "Usage: genboard <board_directory>" | ||
17 | fi | ||