Merge commit 'ocaml3102'
[ocaml.git] / ocamlbuild / discard_printf.ml
blobd77ecd3ddbfcdfe00f613ff0083849d2500fee8c
1 (***********************************************************************)
2 (* ocamlbuild *)
3 (* *)
4 (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *)
5 (* *)
6 (* Copyright 2007 Institut National de Recherche en Informatique et *)
7 (* en Automatique. All rights reserved. This file is distributed *)
8 (* under the terms of the Q Public License version 1.0. *)
9 (* *)
10 (***********************************************************************)
12 (* $Id$ *)
13 (* Original author: Nicolas Pouillard *)
14 let rec greedy _ = greedy
16 let discard_printf _fmt = Obj.magic greedy