[riot-commits] [RIOT-OS/RIOT] fee316: Makefile.include: warning not error if not curl, w...

Martine Lenders noreply at github.com
Thu Sep 2 14:27:04 CEST 2021


  Branch: refs/heads/master
  Home:   https://github.com/RIOT-OS/RIOT
  Commit: fee3169ba9688c7618a69bdfd312cdff63fb0d4a
      https://github.com/RIOT-OS/RIOT/commit/fee3169ba9688c7618a69bdfd312cdff63fb0d4a
  Author: Francisco Molina <femolina at uc.cl>
  Date:   2021-08-28 (Sat, 28 Aug 2021)

  Changed paths:
    M Makefile.include

  Log Message:
  -----------
  Makefile.include: warning not error if not curl, wget, unzip, 7z

The following tools are not needed for every build, its only needed
for a couple of packages like c25519, since most are fetched with git.


  Commit: ab6f24fb7004ad8711c122c93db633d575164591
      https://github.com/RIOT-OS/RIOT/commit/ab6f24fb7004ad8711c122c93db633d575164591
  Author: Martine Lenders <m.lenders at fu-berlin.de>
  Date:   2021-09-02 (Thu, 02 Sep 2021)

  Changed paths:
    M Makefile.include

  Log Message:
  -----------
  Merge pull request #16784 from fjmolinas/pr_curl_wget_unzip_7z_no_error

Makefile.include: only warn if not curl, wget, unzip, 7z


Compare: https://github.com/RIOT-OS/RIOT/compare/9892286d2067...ab6f24fb7004


More information about the commits mailing list