Re: [Xen-devel] [PATCH 06/13] stubdom: Clean extras/mini-os directory during make clean

[Samuel Thibault <samuel.thibault@xxxxxxxxxxxx>]

Daniel Kiper, le Tue 07 May 2013 13:51:41 +0200, a écrit :
> Clean extras/mini-os directory during make clean.
> 
> Signed-off-by: Daniel Kiper <daniel.kiper@xxxxxxxxxx>

Acked-by: Samuel Thibault <samuel.thibault@xxxxxxxxxxxx>

> ---
>  stubdom/Makefile |    1 +
>  1 file changed, 1 insertion(+)
> 
> diff --git a/stubdom/Makefile b/stubdom/Makefile
> index a2ac044..91e2e1a 100644
> --- a/stubdom/Makefile
> +++ b/stubdom/Makefile
> @@ -498,6 +498,7 @@ clean:
>       rm -fr mini-os-$(XEN_TARGET_ARCH)-xenstore
>       rm -fr mini-os-$(XEN_TARGET_ARCH)-vtpm
>       rm -fr mini-os-$(XEN_TARGET_ARCH)-vtpmmgr
> +     $(MAKE) DESTDIR= -C $(MINI_OS) clean
>       $(MAKE) DESTDIR= -C caml clean
>       $(MAKE) DESTDIR= -C c clean
>       $(MAKE) -C vtpm clean
> -- 
> 1.7.10.4
> 

-- 
Samuel
Now, it we had this sort of thing:
  yield -a     for yield to all traffic
  yield -t     for yield to trucks
  yield -f     for yield to people walking (yield foot)
  yield -d t*  for yield on days starting with t
...you'd have a lot of dead people at intersections, and traffic jams you
wouldn't believe...
(Discussion in comp.os.linux.misc on the intuitiveness of commands.)

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