diff --git a/polly/utils/checkout_cloog.sh b/polly/utils/checkout_cloog.sh index 95f037e27195..254e3a8c03d6 100755 --- a/polly/utils/checkout_cloog.sh +++ b/polly/utils/checkout_cloog.sh @@ -1,6 +1,6 @@ #!/bin/sh -CLOOG_HASH="f861f854b6cc85b67e39794e38e7104fcd59af90" +CLOOG_HASH="9f81642a09cb2f8a69bf93f19f1e476adff8e640" ISL_HASH="0a83197c479109b0f7c327484b80a878f291b296" PWD=`pwd`