diff options
author | Ian Campbell <ian.campbell@citrix.com> | 2011-03-31 19:31:06 +0100 |
---|---|---|
committer | Ian Campbell <ian.campbell@citrix.com> | 2011-03-31 19:31:06 +0100 |
commit | 75c300588b4bc675d9fb2f64e9ec956d808e4992 (patch) | |
tree | a83a2f13c86159c9ad0743868656c1d5adabb5a1 /tools/flask | |
parent | 13b78f330bec615f6458dac0bbe2e7ec4412ee5d (diff) | |
download | xen-75c300588b4bc675d9fb2f64e9ec956d808e4992.tar.gz xen-75c300588b4bc675d9fb2f64e9ec956d808e4992.tar.bz2 xen-75c300588b4bc675d9fb2f64e9ec956d808e4992.zip |
tools: ocaml: drop redefinition of xen_mb
This is always available to the in-tree build.
Signed-off-by: Ian Campbell <ian.campbell@citrix.com>
Committed-by: Ian Jackson <ian.jackson@eu.citrix.com>
Diffstat (limited to 'tools/flask')
0 files changed, 0 insertions, 0 deletions