Make update-isl work with latest isl versions
authorTobias Grosser <tobias@grosser.es>
Tue, 7 Aug 2018 05:50:58 +0000 (05:50 +0000)
committerTobias Grosser <tobias@grosser.es>
Tue, 7 Aug 2018 05:50:58 +0000 (05:50 +0000)
commitb8a55e1eeecd0508b8da5ee747a99017513afd4e
tree40ac4dbad3466716dba08d8013e0f72b9f0e103a
parent8137793a8fe185f8a355d675268af6b4be9a88fe
Make update-isl work with latest isl versions

Latest isl versions require clang to build a 'dist' package. Make sure
we actually ask for it.

While being there, also make sure we build isl on all cores.

llvm-svn: 339094
polly/lib/External/update-isl.sh