From mboxrd@z Thu Jan 1 00:00:00 1970 From: Olivier MATZ Subject: Re: [PATCH v3] mk: allow updates to build config on make install Date: Tue, 10 Jun 2014 18:02:44 +0200 Message-ID: <53972C24.1040305@6wind.com> References: <537B3E91.4030400@6wind.com> <1402408293-19426-1-git-send-email-thomas.monjalon@6wind.com> Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit To: Thomas Monjalon , dev-VfR2kkLFssw@public.gmane.org Return-path: In-Reply-To: <1402408293-19426-1-git-send-email-thomas.monjalon-pdR9zngts4EAvxtiuMwx3w@public.gmane.org> List-Id: patches and discussions about DPDK List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: dev-bounces-VfR2kkLFssw@public.gmane.org Sender: "dev" Hi Thomas, On 06/10/2014 03:51 PM, Thomas Monjalon wrote: > + if [ -f $(BUILD_DIR)/$*/.config.orig ] ; then \ > + tmp_build=/tmp/dpdk-$*-$$$$; \ > + $(MAKE) config T=$* O=$$(tmp_build); \ > + if ! cmp -s $(BUILD_DIR)/$*/.config.orig $$(tmp_build)/.config ; then \ > + echo "Conflict: local config and template config have both changed"; \ > + exit 1; \ I missed it the first time, but what do you think about using $(BUILD_DIR)/$*/.config.tmp instead of /tmp/dpdk-$*-$$ ? I think using /tmp should be avoided when possible as it is a shared folder. Regards, Olivier