diff options
Diffstat (limited to 'polly/utils/checkout_cloog.sh')
| -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 e8e68d476c1..3ffd4b541e4 100755 --- a/polly/utils/checkout_cloog.sh +++ b/polly/utils/checkout_cloog.sh @@ -1,7 +1,7 @@ #!/bin/sh CLOOG_HASH="2d8b7c6b43ee46fee978a57fa6877de49675f357" -ISL_HASH="34eb3a0c3d52875ec93e926f12713feff4d08af0" +ISL_HASH="1b3ba3b72c0482fd36bf0b4a1186a259f7bafeed" PWD=`pwd` |
