Re: Setting environment variable for make dist

2015-05-19 Thread Bas Vodde
Hi Nick, Ok, thanks. I don’t know the side-effects of the COPYFILE_DISABLE flag, so I prefer not to use it other than make dist. Good to see the open bug report and hope it’ll be fixed sometime in the future. In the mean time, I decided to write some code in the dist-hook to check if the env

Re: Setting environment variable for make dist

2015-05-19 Thread Nick Bowler
Hello, On 2015-05-18 16:10 +0800, Bas Vodde wrote: > On 14 May 2015, at 9:24 pm, Nick Bowler wrote: > > But I think there is a solution: we can (ab)use the fact that 'make dist' > > internally performs a recursive make invocation. This gives us the chance > > to add things to the make command li