RIOT/makefiles
cladmi 8a78355482
edbg.inc.mk: handle IMAGE_OFFSET being defined with a space
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))
2018-09-18 18:28:19 +02:00
..
2018-05-29 15:21:45 -07:00
2018-06-28 14:05:33 +02:00
2018-07-23 17:29:55 +02:00
2018-05-09 18:01:51 +02:00
2017-11-06 12:01:01 +01:00