projects / xen.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4a12cba) | patch
tools/ocaml: abi-check: Add comments
authorIan Jackson <ian.jackson@eu.citrix.com>
Tue, 10 Sep 2019 11:12:44 +0000 (12:12 +0100)
committerIan Jackson <ian.jackson@eu.citrix.com>
Tue, 10 Sep 2019 13:44:33 +0000 (14:44 +0100)
commite95e2acffefa1f20109055840b29efd4505c9840
tree4722a3547da304cce0f26943db73e2cefb9670e1tree | snapshot
parent4a12cba289d8c81c445faeeeb4bb1b50b7fb9c35commit | diff
tools/ocaml: abi-check: Add comments

Provide interface documentation for this script.

Explain why we check .ml not .mli.

Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
Reviewed-by: Ian Jackson <ian.jackson@eu.citrix.com>
Signed-off-by: Ian Jackson <ian.jackson@eu.citrix.com>
Acked-by: Christian Lindig <christian.lindig@citrix.com>
tools/ocaml/libs/xc/abi-check diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.