Commit f661de12 authored by Tobias Grosser's avatar Tobias Grosser
Browse files

User isl sha commit id instead of the git tag 

Apperently the git tag causes trouble in some scripts.

Merged from: https://llvm.org/svn/llvm-project/polly/trunk@169313

llvm-svn: 170751
parent 047be171

polly/utils/checkout_cloog.sh

+1 −1
Original line number Diff line number Diff line 
#!/bin/sh



CLOOG_HASH="c7721fc941db89dd1afc6240eaceea46d0bcad17"

ISL_HASH="isl-0.11"

ISL_HASH="9f82ab3cd18ac34f883c30594111e4eb17426e11"



PWD=`pwd`