summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorFlorian Franzmann2015-07-25 14:16:46 +0200
committerFlorian Franzmann2015-07-25 22:45:20 +0200
commitbc23b262bb9e87b3155045532186de6f54360e8a (patch)
treeff46d552dd1e710cc02e56b37c8c4d5253b255b4
parent00a0059220cf94a4bffd9373f3f777750ed4bbae (diff)
gnu/gcc: allow profiled build in parallel
-rwxr-xr-xgnu/gcc/BUILD8
-rw-r--r--gnu/gcc/HISTORY4
-rwxr-xr-xgnu/gcc/INSTALL1
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 &&