diff options
Diffstat (limited to 'ChibiOS_20.3.2/os/hal/boards/genboard.sh')
| -rw-r--r-- | ChibiOS_20.3.2/os/hal/boards/genboard.sh | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/ChibiOS_20.3.2/os/hal/boards/genboard.sh b/ChibiOS_20.3.2/os/hal/boards/genboard.sh new file mode 100644 index 0000000..8e8a112 --- /dev/null +++ b/ChibiOS_20.3.2/os/hal/boards/genboard.sh @@ -0,0 +1,17 @@ +#!/bin/bash +if [ $# -eq 1 ] +then + echo "Processing: $1" + if ! fmpp -q -C $1/cfg/board.fmpp + then + echo + echo "aborted" + exit 1 + else + echo + echo "done" + exit 0 + fi +else + echo "Usage: genboard <board_directory>" +fi |