diff options
Diffstat (limited to 'polly/www/polly.sh')
| -rw-r--r-- | polly/www/polly.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/polly/www/polly.sh b/polly/www/polly.sh index 8e253cfcf7e8..af4e74715309 100644 --- a/polly/www/polly.sh +++ b/polly/www/polly.sh @@ -28,11 +28,11 @@ mkdir -p ${LLVM_BUILD} cd ${LLVM_BUILD} if which cmake ; then - cmake -DCMAKE_PREFIX_PATH=${ISL_INSTALL} ${LLVM_SRC} + cmake ${LLVM_SRC} make -j$procs -l$procs make check-polly else - ${LLVM_SRC}/configure --with-isl=${ISL_INSTALL} + ${LLVM_SRC}/configure make -j$procs -l$procs make check-polly -C tools/polly/test/ fi |