mirror of
https://github.com/RIOT-OS/RIOT.git
synced 2024-12-29 04:50:03 +01:00
8a78355482
Handle that `IMAGE_OFFSET` can be set to something that contain spaces. With 'IMAGE_OFFSET=$$((0x1000 + 0x1000))' we had in the command line when doing 'flash' --offset $((0x1000 --offset + --offset 0x1000)) With the change we correctly have --offset $((0x1000 + 0x1000)) |
||
---|---|---|
.. | ||
openocd-adapters | ||
bossa.inc.mk | ||
edbg.inc.mk | ||
gdb.inc.mk | ||
jlink.inc.mk | ||
openocd.inc.mk | ||
renode.inc.mk | ||
serial.inc.mk | ||
targets.inc.mk |