From mboxrd@z Thu Jan 1 00:00:00 1970 From: Ian Campbell Subject: Re: [PATCH] stubdom: remove mini-os when doing make distclean Date: Thu, 7 Jan 2016 10:50:05 +0000 Message-ID: <1452163805.21055.184.camel@citrix.com> References: <1452156796-5207-1-git-send-email-jgross@suse.com> Mime-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 Return-path: In-Reply-To: <1452156796-5207-1-git-send-email-jgross@suse.com> List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Sender: xen-devel-bounces@lists.xen.org Errors-To: xen-devel-bounces@lists.xen.org To: Juergen Gross , ian.jackson@eu.citrix.com, jbeulich@suse.com, keir@xen.org, tim@xen.org, xen-devel@lists.xen.org List-Id: xen-devel@lists.xenproject.org T24gVGh1LCAyMDE2LTAxLTA3IGF0IDA5OjUzICswMTAwLCBKdWVyZ2VuIEdyb3NzIHdyb3RlOgo+ IG1ha2UgZGlzdGNsZWFuIGRvZXMgbm90IHJlbW92ZSBtaW5pLW9zLiBEbyBzbyB3aGVuIGNsZWFu aW5nIHN0dWJkb20uCj4gCj4gU2lnbmVkLW9mZi1ieTogSnVlcmdlbiBHcm9zcyA8amdyb3NzQHN1 c2UuY29tPgoKQWNrZWQtYnk6IElhbiBDYW1wYmVsbCA8aWFuLmNhbXBiZWxsQGNpdHJpeC5jb20+ CgoodGhpcyBpcyBjb25zaXN0ZW50IHdpdGggd2hhdCB3ZSBkbyBmb3IgZS5nLiB0aGUgUUVNVSB0 cmVlcykuCgovbWUgd29uZGVycyB3aGF0IGhhcHBlbnMgaWYgeW91IHJ1biBtYWtlIGRpc3RjbGVh biBpbiBhIHRyZWUgdW5wYWNrZWQgZnJvbQphIHRhcmJhbGwgcmVsZWFzZS4KCj4gLS0tCj4gwqBN YWtlZmlsZSB8IDEgKwo+IMKgMSBmaWxlIGNoYW5nZWQsIDEgaW5zZXJ0aW9uKCspCj4gCj4gZGlm ZiAtLWdpdCBhL01ha2VmaWxlIGIvTWFrZWZpbGUKPiBpbmRleCA4YTkzMzFmLi5hOGU5NTIzIDEw MDY0NAo+IC0tLSBhL01ha2VmaWxlCj4gKysrIGIvTWFrZWZpbGUKPiBAQCAtMjA5LDYgKzIwOSw3 IEBAIGRpc3RjbGVhbi1zdHViZG9tOgo+IMKgaWZlcSAoeDg2XzY0LCQoWEVOX1RBUkdFVF9BUkNI KSkKPiDCoAlYRU5fVEFSR0VUX0FSQ0g9eDg2XzMyICQoTUFLRSkgLUMgc3R1YmRvbSBkaXN0Y2xl YW4KPiDCoGVuZGlmCj4gKwlybSAtcmYgZXh0cmFzL21pbmktb3MgZXh0cmFzL21pbmktb3MtcmVt b3RlCj4gwqAKPiDCoC5QSE9OWTogZGlzdGNsZWFuLWRvY3MKPiDCoGRpc3RjbGVhbi1kb2NzOgoK X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18KWGVuLWRldmVs IG1haWxpbmcgbGlzdApYZW4tZGV2ZWxAbGlzdHMueGVuLm9yZwpodHRwOi8vbGlzdHMueGVuLm9y Zy94ZW4tZGV2ZWwK