diff options
| author | Michael Kruse <llvm@meinersbur.de> | 2016-01-15 15:41:59 +0000 |
|---|---|---|
| committer | Michael Kruse <llvm@meinersbur.de> | 2016-01-15 15:41:59 +0000 |
| commit | f7d5e4086023df156a103578b8870732b808ecbc (patch) | |
| tree | 1380424a8c2241908c90ef3a8c52c8e0a011008d /polly/lib | |
| parent | 6dd6969cee28a71ce6dad138a73ff703c5d43d55 (diff) | |
| download | bcm5719-llvm-f7d5e4086023df156a103578b8870732b808ecbc.tar.gz bcm5719-llvm-f7d5e4086023df156a103578b8870732b808ecbc.zip | |
Add option to update-isl.sh for specific commit
This is used e.g. to update specifically to ISL 0.16.1 although newer
revisions exist in the official repository.
llvm-svn: 257895
Diffstat (limited to 'polly/lib')
| -rwxr-xr-x | polly/lib/External/update-isl.sh | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/polly/lib/External/update-isl.sh b/polly/lib/External/update-isl.sh index ccefde6df52..1fc9387e156 100755 --- a/polly/lib/External/update-isl.sh +++ b/polly/lib/External/update-isl.sh @@ -7,12 +7,15 @@ set -e SCRIPTPATH=`realpath --no-symlinks $(dirname $0)` ISL_SOURCE_DIR="${SCRIPTPATH}/isl" - TMPDIR=`mktemp -d --tmpdir isl-XXX` GITDIR=$TMPDIR/src BUILDDIR=$TMPDIR/build git clone --recursive http://repo.or.cz/isl.git $GITDIR +if [ -n "$1" ]; then + (cd $GITDIR && git checkout $1) + (cd $GITDIR && git submodule update --recursive) +fi (cd $GITDIR && ./autogen.sh) mkdir -p $BUILDDIR (cd $BUILDDIR && $GITDIR/configure --with-int=imath-32) |
