diff options
Diffstat (limited to 'os/hal/boards/genboards.sh')
-rw-r--r-- | os/hal/boards/genboards.sh | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/os/hal/boards/genboards.sh b/os/hal/boards/genboards.sh new file mode 100644 index 000000000..91b6cc6ad --- /dev/null +++ b/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 |