diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/cloog/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/cloog/Makefile b/tools/cloog/Makefile index 945258263c..140d4db88e 100644 --- a/tools/cloog/Makefile +++ b/tools/cloog/Makefile @@ -7,11 +7,11 @@ include $(TOPDIR)/rules.mk PKG_NAME:=cloog-ppl -PKG_VERSION:=0.15.10 +PKG_VERSION:=0.15.11 PKG_SOURCE_URL:=ftp://gcc.gnu.org/pub/gcc/infrastructure PKG_SOURCE:=$(PKG_NAME)-$(PKG_VERSION).tar.gz -PKG_MD5SUM:=04aa756179b6d850d9ffa50f61b91895 +PKG_MD5SUM:=060ae4df6fb8176e021b4d033a6c0b9e HOST_FIXUP:=autoreconf |