Re: [Xen-devel] [PATCH 4/4] docs: check for documentation generation tools in docs/configure.

[Ian Campbell <Ian.Campbell@xxxxxxxxxx>]

On Fri, 2013-01-18 at 17:46 +0000, Roger Pau Monne wrote:
> On 18/01/13 17:44, Ian Campbell wrote:
> > On Fri, 2013-01-18 at 16:12 +0000, Roger Pau Monne wrote:
> >>> @@ -69,6 +75,7 @@ clean:
> >>>  
> >>>  .PHONY: distclean
> >>>  distclean: clean
> >>> + rm -rf ../config/Docs.mk config.log config.status autom4te.cache
> >>
> >> By looking at the distclean target from tools, don't you need to remove
> >> config.cache also?
> > 
> > I thought you might be right but I don't actually see a config.cache
> > generated anywhere in my tree apart from stubdom/newlib-$(ARCH)/...
> > after running configure.
> 
> Strange, then I'm not sure why we have config.cache added there, but it
> doesn't hurt.

Right.

Turns out config.cache is optional, at least according to
http://www.gnu.org/software/autoconf/manual/autoconf-2.67/html_node/Cache-Files.html

> > This is true in the tree where I commit stuff too (so without these
> > patches). I also noticed that stubdom/Makefile doesn't clean any of
> > these things at all.
> > 
> > As an experiment I ran
> >         $ git clean -f -dx
> >         $ ./configure 
> >         $ make distclean 
> >         $ git clean -f -dx
> > and the second distclean reported:
> >         Removing config.log
> >         Removing config.status
> >         Removing stubdom/config.log
> >         Removing stubdom/config.status
> >         Removing tools/libxl/idl.pyc
> 
> Those files should be added to hgignore/gitignore, like the ones from tools.

Right, seems like I missed some, thanks.

Repost coming shortly.

Ian.


_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxx
http://lists.xen.org/xen-devel