diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/ocaml/libs/xb/Makefile | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/tools/ocaml/libs/xb/Makefile b/tools/ocaml/libs/xb/Makefile index 3f0bcc1ff6..35f23438d0 100644 --- a/tools/ocaml/libs/xb/Makefile +++ b/tools/ocaml/libs/xb/Makefile @@ -31,15 +31,15 @@ xenbus_C_OBJS = xs_ring_stubs xenbus_stubs OCAML_LIBRARY = xenbus xenbus.cmx : $(foreach obj, $(OBJS), $(obj).cmx) - $(E) " CMX $@" + $(E) " CMX $@" $(OCAMLOPT) -pack -o $@ $^ xenbus.cmo : $(foreach obj, $(OBJS), $(obj).cmo) - $(E) " CMO $@" + $(E) " CMO $@" $(OCAMLC) -pack -o $@ $^ %.mli: %.ml - $(E) " MLI $@" + $(E) " MLI $@" $(Q)$(OCAMLC) $(OCAMLINCLUDE) -i $< $o .PHONY: install |