projects / openwrt / openwrt.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 284f8a6) | patch
tools/isl: update the download URL
authorRui Salvaterra <rsalvaterra@gmail.com>
Thu, 21 Oct 2021 19:09:49 +0000 (20:09 +0100)
committerHauke Mehrtens <hauke@hauke-m.de>
Thu, 21 Oct 2021 20:31:22 +0000 (22:31 +0200)
commita13efd22536e483fe9bbf5668aff2db4ceb91e46
treef53ebf5212166e5e7da361dfbb7447ae2019b8b1tree | snapshot
parent284f8a64b735e703aa00baa2a5fc4e5629bbf988commit | diff
tools/isl: update the download URL

isl.gforge.inria.fr has been dead since early this month [1]. Switch to
libisl.sourceforge.io for the time being.

[1] https://groups.google.com/g/isl-development/c/JGaMo2VUu_8

Signed-off-by: Rui Salvaterra <rsalvaterra@gmail.com>
(cherry picked from commit dd0ad9b661b604163d1736fcfe18714ff47c3728)
tools/isl/Makefile diff | blob | history
OpenWrt Source Repository