diff options
-rwxr-xr-x | gnu/gcc/BUILD | 8 | ||||
-rw-r--r-- | gnu/gcc/HISTORY | 4 | ||||
-rwxr-xr-x | 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 && |