Re: $USERPROFILE for $HOME on W32

[Eli Zaretskii]

> Cc: Stefan Monnier <address@hidden>, address@hidden
> From: Jason Rumney <address@hidden>
> Date: Tue, 23 Nov 2004 08:30:35 +0000
> 
> "Eli Zaretskii" <address@hidden> writes:
> 
> >> From: Stefan Monnier <address@hidden>
> >> Date: Mon, 22 Nov 2004 01:26:51 -0500
> >> 
> >> +    ;; On W32, try to use $USERPROFILE if $HOME isn't properly set.
> >> +    (when (and (memq system-type '(windows-nt))
> >
> > Shouldn't this take effect for the Cygwin build as well?
> 
> I may be wrong, but I think HOME will always be defined under Cygwin.

I thought about that, but just wasn't sure.  Someone who knows more
about Cygwin should tell, I guess.

In any case, if we suspect $HOME is always set on Cygwin, adding it to
the list won't do any harm.