Hello, On Thu, Aug 04, 2005 at 02:16:37PM +0200, Bruno Haible wrote: > Stepan Kasal wrote: > > that was my intention. If you give --srcdir explicitely, you are > > on your own. ... > That text makes it clear that a user can expect to need GNU make if > he uses a different directory. Not if he specifies the --srcdir option. > And "configure --help" doesn't say that --srcdir forces use of GNU make > either.
there are non-GNU makes which do VPATH, I think. (Solaris make?) Oh well, the solution suggested by Tim should solve all cases. Stepan
