X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=utils%2Fconf.ml;h=49ab1a2c56bcec919e4db3a979b83cd828f34431;hb=37179f8e1c5fc279ef6ae7202065825f3a9c052c;hp=b044c0228a7fa839d46ec9fb1b4ec9f7aeccaa75;hpb=4b52da1a20a4fe031930bb96d2ca46bec06dc529;p=SXSI%2Fxpathcomp.git diff --git a/utils/conf.ml b/utils/conf.ml index b044c02..49ab1a2 100644 --- a/utils/conf.ml +++ b/utils/conf.ml @@ -13,6 +13,7 @@ module Conf = ignore (Sys.command "cp myocamlbuild_config.ml.in myocamlbuild_config.ml"); o_chan := open_out_gen [ Open_append ] 0 "myocamlbuild_config.ml"; o_fmt := formatter_of_out_channel !o_chan + ;; let finish () =