diff options
Diffstat (limited to 'polly/utils')
| -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 9d4fc09eabc..a429adf6b8f 100755 --- a/polly/utils/checkout_cloog.sh +++ b/polly/utils/checkout_cloog.sh @@ -1,7 +1,7 @@ #!/bin/sh CLOOG_HASH="22643c94eba7b010ae4401c347289f4f52b9cd2b" -ISL_HASH="14d7941489582c8ace26f661f78936041641edf7" +ISL_HASH="78c6e9e55fd2527dd4a270aa23d02d99addfdfa1" PWD=`pwd` |
