From mboxrd@z Thu Jan  1 00:00:00 1970
From: Wei Liu <wei.liu2@citrix.com>
Subject: [PATCH 2/2] ocaml/libs/xb: don't generate *.mli
	automatically
Date: Wed, 7 Feb 2018 17:09:34 +0000
Message-ID: <20180207170934.5360-3-wei.liu2@citrix.com>
References: <20180207170934.5360-1-wei.liu2@citrix.com>
Mime-Version: 1.0
Content-Type: text/plain; charset="utf-8"
Content-Transfer-Encoding: base64
Return-path: <xen-devel-bounces@lists.xenproject.org>
Received: from us1-rack-dfw2.inumbo.com ([104.130.134.6])
 by lists.xenproject.org with esmtp (Exim 4.84_2) (envelope-from
 <srs0=ari4=fb=citrix.com=prvs=569d7db92=wei.liu2@srs-us1.protection.inumbo.net>)
 id 1ejTE2-0003UX-Ap
 for xen-devel@lists.xenproject.org; Wed, 07 Feb 2018 17:09:38 +0000
In-Reply-To: <20180207170934.5360-1-wei.liu2@citrix.com>
List-Unsubscribe: <https://lists.xenproject.org/mailman/options/xen-devel>,
 <mailto:xen-devel-request@lists.xenproject.org?subject=unsubscribe>
List-Post: <mailto:xen-devel@lists.xenproject.org>
List-Help: <mailto:xen-devel-request@lists.xenproject.org?subject=help>
List-Subscribe: <https://lists.xenproject.org/mailman/listinfo/xen-devel>,
 <mailto:xen-devel-request@lists.xenproject.org?subject=subscribe>
Errors-To: xen-devel-bounces@lists.xenproject.org
Sender: "Xen-devel" <xen-devel-bounces@lists.xenproject.org>
To: Xen-devel <xen-devel@lists.xenproject.org>
Cc: Wei Liu <wei.liu2@citrix.com>, christian.lindig@citrix.com
List-Id: xen-devel@lists.xenproject.org

VG8gc3RheSBpbiBsaW5lIHdpdGggb3RoZXIgcGFydHMgb2YgdGhlIG9jYW1sIGNvZGUgYmFzZS4K
ClRoaXMgcmVxdWlyZXMgY29tbWl0dGluZyBhIGJ1bmNoIG9mIG1saSBmaWxlcyBpbiB0cmVlLgoK
U2lnbmVkLW9mZi1ieTogV2VpIExpdSA8d2VpLmxpdTJAY2l0cml4LmNvbT4KLS0tCiB0b29scy9v
Y2FtbC9saWJzL3hiL01ha2VmaWxlICAgIHwgIDQgLS0tLQogdG9vbHMvb2NhbWwvbGlicy94Yi9v
cC5tbGkgICAgICB8IDI5ICsrKysrKysrKysrKysrKysrKysrKysrKysrKysrCiB0b29scy9vY2Ft
bC9saWJzL3hiL3BhY2tldC5tbGkgIHwgMTMgKysrKysrKysrKysrKwogdG9vbHMvb2NhbWwvbGli
cy94Yi9wYXJ0aWFsLm1saSB8IDE0ICsrKysrKysrKysrKysrCiA0IGZpbGVzIGNoYW5nZWQsIDU2
IGluc2VydGlvbnMoKyksIDQgZGVsZXRpb25zKC0pCiBjcmVhdGUgbW9kZSAxMDA2NDQgdG9vbHMv
b2NhbWwvbGlicy94Yi9vcC5tbGkKIGNyZWF0ZSBtb2RlIDEwMDY0NCB0b29scy9vY2FtbC9saWJz
L3hiL3BhY2tldC5tbGkKIGNyZWF0ZSBtb2RlIDEwMDY0NCB0b29scy9vY2FtbC9saWJzL3hiL3Bh
cnRpYWwubWxpCgpkaWZmIC0tZ2l0IGEvdG9vbHMvb2NhbWwvbGlicy94Yi9NYWtlZmlsZSBiL3Rv
b2xzL29jYW1sL2xpYnMveGIvTWFrZWZpbGUKaW5kZXggMDlkMWJjODk0Ni4uYmU0NDk5MTQ3ZSAx
MDA2NDQKLS0tIGEvdG9vbHMvb2NhbWwvbGlicy94Yi9NYWtlZmlsZQorKysgYi90b29scy9vY2Ft
bC9saWJzL3hiL01ha2VmaWxlCkBAIC0zOSwxMCArMzksNiBAQCB4ZW5idXMuY21vIDogJChmb3Jl
YWNoIG9iaiwgJChPQkpTKSwgJChvYmopLmNtbykKIAkkKEUpICIgQ01PICAgICAgJEAiCiAJJChP
Q0FNTEMpIC1wYWNrIC1vICRAICReCiAKLSUubWxpOiAlLm1sCi0JJChFKSAiIE1MSSAgICAgICRA
IgotCSQoUSkkKE9DQU1MQykgJChPQ0FNTElOQ0xVREUpIC1pICQ8ICRvCi0KIC5QSE9OWTogaW5z
dGFsbAogaW5zdGFsbDogJChMSUJTKSBNRVRBCiAJbWtkaXIgLXAgJChPQ0FNTERFU1RESVIpCmRp
ZmYgLS1naXQgYS90b29scy9vY2FtbC9saWJzL3hiL29wLm1saSBiL3Rvb2xzL29jYW1sL2xpYnMv
eGIvb3AubWxpCm5ldyBmaWxlIG1vZGUgMTAwNjQ0CmluZGV4IDAwMDAwMDAwMDAuLmVjYWJmZmYw
ZDEKLS0tIC9kZXYvbnVsbAorKysgYi90b29scy9vY2FtbC9saWJzL3hiL29wLm1saQpAQCAtMCww
ICsxLDI5IEBACit0eXBlIG9wZXJhdGlvbiA9CisgICAgRGVidWcKKyAgfCBEaXJlY3RvcnkKKyAg
fCBSZWFkCisgIHwgR2V0cGVybXMKKyAgfCBXYXRjaAorICB8IFVud2F0Y2gKKyAgfCBUcmFuc2Fj
dGlvbl9zdGFydAorICB8IFRyYW5zYWN0aW9uX2VuZAorICB8IEludHJvZHVjZQorICB8IFJlbGVh
c2UKKyAgfCBHZXRkb21haW5wYXRoCisgIHwgV3JpdGUKKyAgfCBNa2RpcgorICB8IFJtCisgIHwg
U2V0cGVybXMKKyAgfCBXYXRjaGV2ZW50CisgIHwgRXJyb3IKKyAgfCBJc2ludHJvZHVjZWQKKyAg
fCBSZXN1bWUKKyAgfCBTZXRfdGFyZ2V0CisgIHwgUmVzZXRfd2F0Y2hlcworICB8IEludmFsaWQK
K3ZhbCBvcGVyYXRpb25fY19tYXBwaW5nIDogb3BlcmF0aW9uIGFycmF5Cit2YWwgc2l6ZSA6IGlu
dAordmFsIGFycmF5X3NlYXJjaCA6ICdhIC0+ICdhIGFycmF5IC0+IGludAordmFsIG9mX2N2YWwg
OiBpbnQgLT4gb3BlcmF0aW9uCit2YWwgdG9fY3ZhbCA6IG9wZXJhdGlvbiAtPiBpbnQKK3ZhbCB0
b19zdHJpbmcgOiBvcGVyYXRpb24gLT4gc3RyaW5nCmRpZmYgLS1naXQgYS90b29scy9vY2FtbC9s
aWJzL3hiL3BhY2tldC5tbGkgYi90b29scy9vY2FtbC9saWJzL3hiL3BhY2tldC5tbGkKbmV3IGZp
bGUgbW9kZSAxMDA2NDQKaW5kZXggMDAwMDAwMDAwMC4uZjRlNTNjNzNhOAotLS0gL2Rldi9udWxs
CisrKyBiL3Rvb2xzL29jYW1sL2xpYnMveGIvcGFja2V0Lm1saQpAQCAtMCwwICsxLDEzIEBACit0
eXBlIHQgPSB7IHRpZCA6IGludDsgcmlkIDogaW50OyB0eSA6IE9wLm9wZXJhdGlvbjsgZGF0YSA6
IHN0cmluZzsgfQorZXhjZXB0aW9uIEVycm9yIG9mIHN0cmluZworZXhjZXB0aW9uIERhdGFFcnJv
ciBvZiBzdHJpbmcKK2V4dGVybmFsIHN0cmluZ19vZl9oZWFkZXIgOiBpbnQgLT4gaW50IC0+IGlu
dCAtPiBpbnQgLT4gc3RyaW5nCisgID0gInN0dWJfc3RyaW5nX29mX2hlYWRlciIKK3ZhbCBjcmVh
dGUgOiBpbnQgLT4gaW50IC0+IE9wLm9wZXJhdGlvbiAtPiBzdHJpbmcgLT4gdAordmFsIG9mX3Bh
cnRpYWxwa3QgOiBQYXJ0aWFsLnBrdCAtPiB0Cit2YWwgdG9fc3RyaW5nIDogdCAtPiBzdHJpbmcK
K3ZhbCB1bnBhY2sgOiB0IC0+IGludCAqIGludCAqIE9wLm9wZXJhdGlvbiAqIHN0cmluZwordmFs
IGdldF90aWQgOiB0IC0+IGludAordmFsIGdldF90eSA6IHQgLT4gT3Aub3BlcmF0aW9uCit2YWwg
Z2V0X2RhdGEgOiB0IC0+IHN0cmluZwordmFsIGdldF9yaWQgOiB0IC0+IGludApkaWZmIC0tZ2l0
IGEvdG9vbHMvb2NhbWwvbGlicy94Yi9wYXJ0aWFsLm1saSBiL3Rvb2xzL29jYW1sL2xpYnMveGIv
cGFydGlhbC5tbGkKbmV3IGZpbGUgbW9kZSAxMDA2NDQKaW5kZXggMDAwMDAwMDAwMC4uMzU5YTc1
ZTg4ZAotLS0gL2Rldi9udWxsCisrKyBiL3Rvb2xzL29jYW1sL2xpYnMveGIvcGFydGlhbC5tbGkK
QEAgLTAsMCArMSwxNCBAQAordHlwZSBwa3QgPSB7CisgIHRpZCA6IGludDsKKyAgcmlkIDogaW50
OworICB0eSA6IE9wLm9wZXJhdGlvbjsKKyAgbGVuIDogaW50OworICBidWYgOiBCdWZmZXIudDsK
K30KK2V4dGVybmFsIGhlYWRlcl9zaXplIDogdW5pdCAtPiBpbnQgPSAic3R1Yl9oZWFkZXJfc2l6
ZSIKK2V4dGVybmFsIGhlYWRlcl9vZl9zdHJpbmdfaW50ZXJuYWwgOiBzdHJpbmcgLT4gaW50ICog
aW50ICogaW50ICogaW50CisgID0gInN0dWJfaGVhZGVyX29mX3N0cmluZyIKK3ZhbCB4ZW5zdG9y
ZV9wYXlsb2FkX21heCA6IGludAordmFsIG9mX3N0cmluZyA6IHN0cmluZyAtPiBwa3QKK3ZhbCBh
cHBlbmQgOiBwa3QgLT4gc3RyaW5nIC0+IGludCAtPiB1bml0Cit2YWwgdG9fY29tcGxldGUgOiBw
a3QgLT4gaW50Ci0tIAoyLjExLjAKCgpfX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f
X19fX19fX19fX19fXwpYZW4tZGV2ZWwgbWFpbGluZyBsaXN0Clhlbi1kZXZlbEBsaXN0cy54ZW5w
cm9qZWN0Lm9yZwpodHRwczovL2xpc3RzLnhlbnByb2plY3Qub3JnL21haWxtYW4vbGlzdGluZm8v
eGVuLWRldmVs