diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/isl/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/isl/Makefile b/tools/isl/Makefile index 8fe2da1a06..24c06268c7 100644 --- a/tools/isl/Makefile +++ b/tools/isl/Makefile @@ -7,11 +7,11 @@ include $(TOPDIR)/rules.mk PKG_NAME:=isl -PKG_VERSION:=0.14.1 +PKG_VERSION:=0.17.1 PKG_SOURCE_URL:=http://isl.gforge.inria.fr PKG_SOURCE:=$(PKG_NAME)-$(PKG_VERSION).tar.xz -PKG_MD5SUM:=94fcd11e0b1c79250ae341affb1845ea +PKG_MD5SUM:=20b83900e234f982a566a3a6b3503bf1 HOST_BUILD_PARALLEL:=1 |