From bc23b262bb9e87b3155045532186de6f54360e8a Mon Sep 17 00:00:00 2001
From: Florian Franzmann
Date: Sat, 25 Jul 2015 14:16:46 +0200
Subject: gnu/gcc: allow profiled build in parallel

---
 gnu/gcc/BUILD   | 8 +-------
 gnu/gcc/HISTORY | 4 ++++
 gnu/gcc/INSTALL | 1 +
 3 files changed, 6 insertions(+), 7 deletions(-)

diff --git a/gnu/gcc/BUILD b/gnu/gcc/BUILD
index 9c851b2b15..a5ef54416b 100755
--- a/gnu/gcc/BUILD
+++ b/gnu/gcc/BUILD
@@ -111,10 +111,4 @@ OPTS="$GCC_MULTILIB $OPTS"                                         &&
 cd $SOURCE_DIRECTORY.bld                                              &&
 $SOURCE_DIRECTORY/configure $OPTS                                     &&
 
-if [[ "$GCC_TARGET" == "profiledbootstrap" ]] ||
-   [[ "$GCC_TARGET" == "profiledbootstrap-lean" ]] ; then
-  make_single 
-fi  &&
-echo "$MAKE_NJOBS  $JOBS_PER_HOST" &&
-make CFLAGS="$CFLAGS" BOOT_CFLAGS="$CFLAGS" LDFLAGS="$LDFLAGS" $GCC_TARGET &&
-make_normal
+make CFLAGS="$CFLAGS" BOOT_CFLAGS="$CFLAGS" LDFLAGS="$LDFLAGS" $GCC_TARGET
diff --git a/gnu/gcc/HISTORY b/gnu/gcc/HISTORY
index f624524d55..2082f61952 100644
--- a/gnu/gcc/HISTORY
+++ b/gnu/gcc/HISTORY
@@ -1,3 +1,7 @@
+2015-07-25 Florian Franzmann <siflfran@hawo.stw.uni-erlangen.de>
+	* BUILD: remove make_single for profilebootstrap/profilebootstraplean
+	* INSTALL: add make_normal
+
 2015-07-16 Treeve Jelbert <treeve@sourcemage.org>
 	* DETAILS: version 5.2.0
 
diff --git a/gnu/gcc/INSTALL b/gnu/gcc/INSTALL
index 56151fa8e3..136c1204e9 100755
--- a/gnu/gcc/INSTALL
+++ b/gnu/gcc/INSTALL
@@ -7,6 +7,7 @@ cd  $SOURCE_DIRECTORY.bld  &&
 make_single &&
 make CFLAGS="$CFLAGS" BOOT_CFLAGS="$CFLAGS" LDFLAGS="$LDFLAGS"  \
      install &&
+make_normal &&
 
 # no symlink to cc
 ln -vsf $INSTALL_ROOT/usr/bin/gcc $INSTALL_ROOT/usr/bin/cc &&
-- 
cgit v1.2.3