From 772d61563aafb311d9f53b4c6188ace4cd97d0a4 Mon Sep 17 00:00:00 2001
From: Sven Verdoolaege <skimo@kotnet.org>
Date: Mon, 12 Oct 2009 22:54:12 +0200
Subject: [PATCH] get_submodules.sh: no longer initialize submodules of isl

isl's only submodule is piplib, but this submodule is no longer useful.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
---
 get_submodules.sh | 1 -
 1 file changed, 1 deletion(-)

diff --git a/get_submodules.sh b/get_submodules.sh
index 0821f3d..869c12f 100755
--- a/get_submodules.sh
+++ b/get_submodules.sh
@@ -1,4 +1,3 @@
 #!/bin/sh
 git submodule init
 git submodule update
-(cd isl; git submodule init; git submodule update)
-- 
2.11.4.GIT