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)/$*/.confi
[dpdk-dev] [PATCH v3] mk: allow updates to build config on make
> install
>
> Hi Thomas,
>
> On 06/10/2014 03:51 PM, Thomas Monjalon wrote:
> > + if [ -f $(BUILD_DIR)/$*/.config.orig ] ; then \
> > + tmp_build=/tmp/dpdk-$*-; \
> &
From: Bruce Richardson
When running "make config", an additional config.orig file is also
generated, which is intended to hold the original, clean configuration
from the template.
When running make install, we first check if there is no existing
.config file, and run make config if not. If there
3 matches
Mail list logo