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)
commit7e07b14d0b1c64bfc2e72d7a677c240f1382cbce
tree35870617da1fbd10efb8e238468a0eaa3a8721bd
parentd7767125d5b8e12db826aa7dd761a82e63ec235b
User isl sha commit id instead of the git tag

Apperently the git tag causes trouble in some scripts.

llvm-svn: 169313
polly/utils/checkout_cloog.sh