[Bug other/14305] New: make install tries to modify source tree

["joerg dot richter at pdv-fs dot de" <gcc-bugzilla at gcc dot gnu dot org>]

Perhaps it is not really a bug, but at least I think it is unwanted.

> mkdir gcc-3.3.3-jr-obj
> cd gcc-3.3.3-jr-obj
> ../gcc-3.3.3-jr/configure --prefix=/tools/pkg/gcc/3.3.3 \
      --enable-languages=c,c++,f77
> make bootstrap

<changing user>

> make install

...
make[2]: Leaving directory `/pdv/.tools/inst/jrichter/gcc-3.3.3-jr-obj/gcc'
f/intdoc > ../../gcc-3.3.3-jr/gcc/f/intdoc.texi
/bin/sh: ../../gcc-3.3.3-jr/gcc/f/intdoc.texi: Permission denied
make[1]: *** [../../gcc-3.3.3-jr/gcc/f/intdoc.texi] Error 1
make[1]: Leaving directory `/pdv/.tools/inst/jrichter/gcc-3.3.3-jr-obj/gcc'
make: *** [install-gcc] Error 2

Here something wants to write to the source tree. But the install user has no 
permissions to write there.

-- 
           Summary: make install tries to modify source tree
           Product: gcc
           Version: 3.3.3
            Status: UNCONFIRMED
          Severity: minor
          Priority: P2
         Component: other
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: joerg dot richter at pdv-fs dot de
                CC: gcc-bugs at gcc dot gnu dot org
 GCC build triplet: i686-pc-linux-gnu
  GCC host triplet: i686-pc-linux-gnu
GCC target triplet: i686-pc-linux-gnu


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=14305