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 1d375a1390..da37437119 100644 --- a/tools/isl/Makefile +++ b/tools/isl/Makefile @@ -7,11 +7,11 @@ include $(TOPDIR)/rules.mk PKG_NAME:=isl -PKG_VERSION:=0.17.1 +PKG_VERSION:=0.18 PKG_SOURCE_URL:=http://isl.gforge.inria.fr PKG_SOURCE:=$(PKG_NAME)-$(PKG_VERSION).tar.xz -PKG_HASH:=be152e5c816b477594f4c6194b5666d8129f3a27702756ae9ff60346a8731647 +PKG_HASH:=0f35051cc030b87c673ac1f187de40e386a1482a0cfdf2c552dd6031b307ddc4 HOST_BUILD_PARALLEL:=1 |