From 1addd6d56b3fa85a0c8261d43ed4235a4f4be322 Mon Sep 17 00:00:00 2001
From: Giacomo Tesio <giacomo@tesio.it>
Date: Fri, 17 Jan 2020 00:21:05 +0100
Subject: [PATCH] gcc cross: cleanup init.sh

---
 cross/init.sh | 6 ------
 1 file changed, 6 deletions(-)

diff --git a/cross/init.sh b/cross/init.sh
index 2f81324..62646fb 100755
--- a/cross/init.sh
+++ b/cross/init.sh
@@ -122,9 +122,3 @@ mkdir -p $GCC_BUILD_DIR
 ) >> $LOG 2>&1
 failOnError $? "building gcc"
 echo done.
-
-## TODO: get a sense of this... shouldn't we do this after GCC compilation?
-#echo -n Copying GCC includes into $JEHANNE/posix...
-#mkdir -p $JEHANNE/posix/lib
-#cp -fpr $WORKING_DIR/cross/posix/lib/* $JEHANNE/posix/lib
-#echo done.