[riot-commits] [RIOT-OS/RIOT] 73e036: jerryscript: bump version

Emmanuel Baccelli emmanuelsearch at users.noreply.github.com
Wed Aug 22 15:03:40 CEST 2018


  Branch: refs/heads/master
  Home:   https://github.com/RIOT-OS/RIOT
  Commit: 73e036d4eb8224a5f367da391aff12093762568a
      https://github.com/RIOT-OS/RIOT/commit/73e036d4eb8224a5f367da391aff12093762568a
  Author: Martine Lenders <m.lenders at fu-berlin.de>
  Date:   2018-08-21 (Tue, 21 Aug 2018)

  Changed paths:
    M pkg/jerryscript/Makefile

  Log Message:
  -----------
  jerryscript: bump version

Alternative to #9735, as it [includes that fix in upstream][851f4].

[851f4]: https://github.com/jerryscript-project/jerryscript/commit/851f4f0b894fecef96c61da1fdd67678f721404e


  Commit: dde802f528fb5d5f51e1f608f9e193a1deb7f80a
      https://github.com/RIOT-OS/RIOT/commit/dde802f528fb5d5f51e1f608f9e193a1deb7f80a
  Author: Martine Lenders <m.lenders at fu-berlin.de>
  Date:   2018-08-22 (Wed, 22 Aug 2018)

  Changed paths:
    M pkg/jerryscript/Makefile.jerryscript

  Log Message:
  -----------
  jerryscript: disable HAVE_TIME_H

Without this disabled `nanosleep()` is used, which isn't provided for
most our platforms (though the header `<time.h>` is).

Furthermore, that macro is only used in that instance throughout the
JerryScript codebase.


  Commit: 1e325399230d64e5c65916e0fd95ee577a9925eb
      https://github.com/RIOT-OS/RIOT/commit/1e325399230d64e5c65916e0fd95ee577a9925eb
  Author: Emmanuel Baccelli <emmanuelsearch at users.noreply.github.com>
  Date:   2018-08-22 (Wed, 22 Aug 2018)

  Changed paths:
    M pkg/jerryscript/Makefile
    M pkg/jerryscript/Makefile.jerryscript

  Log Message:
  -----------
  Merge pull request #9808 from miri64/pkg/enh/bump-jerryscript

jerryscript: bump version


Compare: https://github.com/RIOT-OS/RIOT/compare/d4ba12959631...1e325399230d
      **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