[bug #13866] cannot change user-root with ./configure

[Eike Preuss]

URL:
  <http://savannah.gnu.org/bugs/?func=detailitem&item_id=13866>

                 Summary: cannot change user-root with ./configure
                 Project: GNUstep
            Submitted by: ike
            Submitted on: Mit 20.07.2005 um 18:11
                Category: Makefiles
                Severity: 3 - Normal
              Item Group: Bug
                  Status: None
                 Privacy: Public
             Assigned to: None
             Open/Closed: Open

    _______________________________________________________

Details:

daily snapshot 20050720, 
Linux/Gentoo 3.3.5.20050130-r1, 
gcc version 3.3.5-20050130,
GNU Make 3.80

when configuring gnustep-make with
./configure --with-user-root=~/.gnustep
[...]
checking for GNUSTEP_USER_ROOT to use... ~/.gnustep
[...]

`user_home user` still returns the default path ~/GNUstep
e.g.

./user_home user
/root/GNUstep

and GNUstep.sh sets this GNUSTEP_USER_ROOT.

Cheers :)






    _______________________________________________________

Reply to this item at:

  <http://savannah.gnu.org/bugs/?func=detailitem&item_id=13866>

_______________________________________________
  Nachricht geschickt von/durch Savannah
  http://savannah.gnu.org/