diff options
| -rwxr-xr-x | polly/utils/checkout_cloog.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/polly/utils/checkout_cloog.sh b/polly/utils/checkout_cloog.sh index 8b92b5afd72..3f780c0dbee 100755 --- a/polly/utils/checkout_cloog.sh +++ b/polly/utils/checkout_cloog.sh @@ -1,7 +1,7 @@ #!/bin/sh CLOOG_HASH="0c252c88946b27b7b61a1a8d8fd7f94d2461dbfd" -ISL_HASH="56b7d238929980e62218525b4b3be121af386edf" +ISL_HASH="e4da68b7e2c4e44ba2c9592c365779e7cea08b56" PWD=`pwd` |
