[riot-commits] [RIOT-OS/RIOT] 8a7835: edbg.inc.mk: handle IMAGE_OFFSET being defined wit...

Francisco Acosta fco.ja.ac at gmail.com
Wed Sep 19 14:00:18 CEST 2018


  Branch: refs/heads/master
  Home:   https://github.com/RIOT-OS/RIOT
  Commit: 8a783554824a1472e5d840e61012f1d04a083ea6
      https://github.com/RIOT-OS/RIOT/commit/8a783554824a1472e5d840e61012f1d04a083ea6
  Author: cladmi <gaetan.harter at fu-berlin.de>
  Date:   2018-09-18 (Tue, 18 Sep 2018)

  Changed paths:
    M makefiles/tools/edbg.inc.mk

  Log Message:
  -----------
  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))


  Commit: 1fbd51f6f716c4e640c492e246fe7c03b504bfba
      https://github.com/RIOT-OS/RIOT/commit/1fbd51f6f716c4e640c492e246fe7c03b504bfba
  Author: Francisco Acosta <fco.ja.ac at gmail.com>
  Date:   2018-09-19 (Wed, 19 Sep 2018)

  Changed paths:
    M makefiles/tools/edbg.inc.mk

  Log Message:
  -----------
  Merge pull request #9956 from cladmi/pr/make/edbg/fix_offset

edbg.inc.mk: handle IMAGE_OFFSET being defined with a space


Compare: https://github.com/RIOT-OS/RIOT/compare/3721f193d0fb...1fbd51f6f716
      **NOTE:** This service has been marked for deprecation: https://developer.github.com/changes/2018-04-25-github-services-deprecation/

      Functionality will be removed from GitHub.com on January 31st, 2019.


More information about the commits mailing list