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/
_______________________________________________
Bug-gnustep mailing list
[email protected]
http://lists.gnu.org/mailman/listinfo/bug-gnustep
