Re: [PATCH] Makefile: Force regeneration of env.txt