X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=utils%2Fconf.ml;h=86e30bd0fe27cc66c72cc9ec0796b45da9c0355f;hb=cb728132e1c5cb0a171ee09e9b3ced16da08f796;hp=b044c0228a7fa839d46ec9fb1b4ec9f7aeccaa75;hpb=4b52da1a20a4fe031930bb96d2ca46bec06dc529;p=SXSI%2Fxpathcomp.git diff --git a/utils/conf.ml b/utils/conf.ml index b044c02..86e30bd 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 () =