From 705387b0da195655aebaab83b222e7793607a9f6 Mon Sep 17 00:00:00 2001
From: Peter Waegemann <waegemann@cs.fau.de>
Date: Sat, 5 Mar 2016 16:24:59 +0100
Subject: [PATCH] Checkout of revision 3.7 not required for extras
---
setup.sh | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/setup.sh b/setup.sh
index 87b2213..038f39c 100755
--- a/setup.sh
+++ b/setup.sh
@@ -38,9 +38,9 @@ fi
# get clang's extras
if ! test -d ${EXTRA_SRC}; then
git clone ${EXTRA_GIT} ${EXTRA_SRC}
- cd ${EXTRA_SRC}
- git checkout ${VERSION}
- cd ${BASE}
+ # cd ${EXTRA_SRC}
+ # git checkout ${VERSION}
+ # cd ${BASE}
fi
--
GitLab