projects / openwrt / staging / mkresin.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f46a70a) | patch
tools/isl: update the download URL
authorRui Salvaterra <rsalvaterra@gmail.com>
Thu, 21 Oct 2021 19:09:49 +0000 (20:09 +0100)
committerRui Salvaterra <rsalvaterra@gmail.com>
Thu, 21 Oct 2021 19:37:20 +0000 (20:37 +0100)
commitdd0ad9b661b604163d1736fcfe18714ff47c3728
treeafc6928655c7acada71ea7aa1a7664e285c101c6tree | snapshot
parentf46a70a6882cc71c7c346e5ef0c348c91be876e5commit | 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>
tools/isl/Makefile diff | blob | history
Staging tree of Mathias Kresin