[polly] r257895 - Add option to update-isl.sh for specific commit

[Michael Kruse via llvm-commits]

Author: meinersbur
Date: Fri Jan 15 09:41:59 2016
New Revision: 257895

URL: http://llvm.org/viewvc/llvm-project?rev=257895&view=rev
Log:
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.

Modified:
    polly/trunk/lib/External/update-isl.sh

Modified: polly/trunk/lib/External/update-isl.sh
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/lib/External/update-isl.sh?rev=257895&r1=257894&r2=257895&view=diff
==============================================================================
--- polly/trunk/lib/External/update-isl.sh (original)
+++ polly/trunk/lib/External/update-isl.sh Fri Jan 15 09:41:59 2016
@@ -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)