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