[riot-commits] [RIOT-OS/RIOT] 808bf1: makefiles/tools/bossa: replace duplicate info opti...

Alexandre Abadie alexandre.abadie at inria.fr
Fri Jun 23 14:36:33 CEST 2017


  Branch: refs/heads/master
  Home:   https://github.com/RIOT-OS/RIOT
  Commit: 808bf10686453328b35ad9cf7be7fc68c66ebf92
      https://github.com/RIOT-OS/RIOT/commit/808bf10686453328b35ad9cf7be7fc68c66ebf92
  Author: Alexandre Abadie <alexandre.abadie at inria.fr>
  Date:   2017-06-23 (Fri, 23 Jun 2017)

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

  Log Message:
  -----------
  makefiles/tools/bossa: replace duplicate info option with erase


  Commit: 07b141e3603f87c06502e277d7712ea662316205
      https://github.com/RIOT-OS/RIOT/commit/07b141e3603f87c06502e277d7712ea662316205
  Author: Alexandre Abadie <alexandre.abadie at inria.fr>
  Date:   2017-06-23 (Fri, 23 Jun 2017)

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

  Log Message:
  -----------
  Merge pull request #7232 from aabadie/fix_bossa_options

makefiles/tools/bossa: remove duplicate info option and add erase option


Compare: https://github.com/RIOT-OS/RIOT/compare/d765e740e0f5...07b141e3603f


More information about the commits mailing list