projects / platform / upstream / llvm.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: d776712)
User isl sha commit id instead of the git tag
authorTobias Grosser <grosser@fim.uni-passau.de>
Tue, 4 Dec 2012 21:54:37 +0000 (21:54 +0000)
committerTobias Grosser <grosser@fim.uni-passau.de>
Tue, 4 Dec 2012 21:54:37 +0000 (21:54 +0000)
Apperently the git tag causes trouble in some scripts.

llvm-svn: 169313

polly/utils/checkout_cloog.sh patch | blob | history

diff --git a/polly/utils/checkout_cloog.sh b/polly/utils/checkout_cloog.sh
index c7b42b6..0e166a6 100755 (executable)
--- a/polly/utils/checkout_cloog.sh
+++ b/polly/utils/checkout_cloog.sh
@@ -1,7 +1,7 @@
 #!/bin/sh
 
 CLOOG_HASH="c7721fc941db89dd1afc6240eaceea46d0bcad17"
-ISL_HASH="isl-0.11"
+ISL_HASH="9f82ab3cd18ac34f883c30594111e4eb17426e11"
 
 PWD=`pwd`
 
Domain: System / Toolchain;