You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
37 lines
1.1 KiB
37 lines
1.1 KiB
#!/bin/bash |
|
#set -x |
|
|
|
# This script must be executed in the NuttX top-level directory. We'll check.. |
|
# the .config file should be located there. |
|
|
|
TOPDIR=`pwd` |
|
if [ ! -f .config ]; then |
|
echo "There is no configured version of NuttX in this directory." |
|
echo " Is '$TOPDIR' the NuttX top level directory?" |
|
echo " Has NuttX been configured?" |
|
exit 1 |
|
fi |
|
|
|
# The NuttX build system creates a nuttx ELF file, but the batchisp tools |
|
# expects the file to have a .elf extension |
|
|
|
if [ ! -f nuttx.elf ]; then |
|
if [ ! -f nuttx ]; then |
|
echo "The NuttX ELF file (nuttx or nuttx.elf) does not exist in this directory." |
|
echo " Has the NuttX binary been built?" |
|
exit 1 |
|
fi |
|
echo "Re-naming nuttx to nuttx.elf" |
|
mv nuttx nuttx.elf || { echo "mv failed"; exit 1; } |
|
else |
|
if [ -f nuttx ]; then |
|
echo "Replacing the old nuttx.elf with the new nuttx file." |
|
mv nuttx nuttx.elf || { echo "mv failed"; exit 1; } |
|
fi |
|
fi |
|
|
|
DEVICE=at32uc3b0256 |
|
HARDWARE=usb |
|
OPERATION="erase f memory flash blankcheck loadbuffer nuttx.elf program verify start reset 0" |
|
|
|
batchisp -device $DEVICE -hardware $HARDWARE -operation $OPERATION
|
|
|