Eric Blake wrote: >> +++ winsup/mingw/Makefile.in 15 Oct 2009 20:30:09 -0000 >> @@ -26,6 +26,8 @@ srcdir = @srcdir@ >> top_srcdir = @top_srcdir@ >> top_builddir = @top_builddir@ > >> +DESTDIR = >> + > > Why are you setting DESTDIR? My understanding is that for DESTDIR to work > reliably, you need to use $(DESTDIR), but not set it. Then make will > default it to empty, which can be changed by either 'make DESTDIR=...' or > 'env DESTDIR=... make -e'.
Oh, ok. I'll take those bits out -- I'm just always used to explicitly setting it (empty). I see that, if they support DESTDIR at all, both automake-generated and custom Makefile.in's in src/ seem to follow your rule. -- Chuck
