aboutsummaryrefslogtreecommitdiffstats
path: root/.hgignore
diff options
context:
space:
mode:
authorKeir Fraser <keir.fraser@citrix.com>2009-05-19 14:17:56 +0100
committerKeir Fraser <keir.fraser@citrix.com>2009-05-19 14:17:56 +0100
commitff7d47a80a126527fd7b479d0c0756a20a07e0d3 (patch)
tree996bceccab3a2fc9f2d545a69977a02f745d68e3 /.hgignore
parent0e57a92cc388c377de3940d12ac6131c698f5581 (diff)
downloadxen-ff7d47a80a126527fd7b479d0c0756a20a07e0d3.tar.gz
xen-ff7d47a80a126527fd7b479d0c0756a20a07e0d3.tar.bz2
xen-ff7d47a80a126527fd7b479d0c0756a20a07e0d3.zip
stubdom: Rebuild the ocaml runtime libraries with the options needed
if they are to be linked with object files created by ocamlc and the minios kernel. This is needed to build stubdoms written in ocaml. Signed-off-by: Alex Zeffertt <alex.zeffertt@eu.citrix.com>
Diffstat (limited to '.hgignore')
-rw-r--r--.hgignore1
1 files changed, 1 insertions, 0 deletions
diff --git a/.hgignore b/.hgignore
index 17b24787de..fb16719e24 100644
--- a/.hgignore
+++ b/.hgignore
@@ -99,6 +99,7 @@
^stubdom/pciutils-.*$
^stubdom/zlib-.*$
^stubdom/grub-.*$
+^stubdom/ocaml-.*$
^stubdom/lwip/
^stubdom/ioemu/
^tools/.*/build/lib.*/.*\.py$