diff options
| -rwxr-xr-x | polly/lib/External/update-isl.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/polly/lib/External/update-isl.sh b/polly/lib/External/update-isl.sh index 5b78f7ec4aa..0bf3e0def72 100755 --- a/polly/lib/External/update-isl.sh +++ b/polly/lib/External/update-isl.sh @@ -23,11 +23,11 @@ mkdir -p $BUILDDIR for DISTFILE in "$BUILDDIR/isl*.tar.gz"; do break; done -cp $ISL_SOURCE_DIR/include/isl-noexceptions.h $TMPDIR/isl-noexceptions.h +cp $ISL_SOURCE_DIR/include/isl/isl-noexceptions.h $TMPDIR/isl-noexceptions.h rm -rf $ISL_SOURCE_DIR mkdir -p $ISL_SOURCE_DIR tar -xf $DISTFILE --strip-components=1 --directory $ISL_SOURCE_DIR -cp $TMPDIR/isl/isl-noexceptions.h $ISL_SOURCE_DIR/include/isl +cp $TMPDIR/isl-noexceptions.h $ISL_SOURCE_DIR/include/isl rm -rf $TMPDIR |
