projects / xen.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8345512) | patch
stubdom: remove mini-os when doing make distclean
authorJuergen Gross <jgross@suse.com>
Thu, 7 Jan 2016 08:53:16 +0000 (09:53 +0100)
committerIan Campbell <ian.campbell@citrix.com>
Thu, 7 Jan 2016 12:51:41 +0000 (12:51 +0000)
commit5178da0a246808634be2a12cd17511932ce922c3
treeb39ec893960ab84c2701af3330bd5a6a130334datree | snapshot
parent8345512febd09e39c55bdf76ee0fb41b32562f45commit | diff
stubdom: remove mini-os when doing make distclean

make distclean does not remove mini-os. Do so when cleaning stubdom.

Signed-off-by: Juergen Gross <jgross@suse.com>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.