diff options
| author | Jeremie Dimino <jdimino@janestreet.com> | 2017-08-18 16:30:39 +0100 |
|---|---|---|
| committer | Jeremie Dimino <jeremie@dimino.org> | 2018-02-12 08:29:17 +0000 |
| commit | 84304a3282fc5be31f657e0de9c8ff305efc4789 (patch) | |
| tree | 3e2897618af92e86ca494ff9c317f97a014b46ed /stdlib/remove_module_aliases.awk | |
| parent | 8f2a15369f388efa255524a729dbf4b0d5a22ce4 (diff) | |
| download | ocaml-84304a3282fc5be31f657e0de9c8ff305efc4789.tar.gz | |
Core review work
- Apply the __ heuristic more systematically
- Update tests
- Fix Windows builds
Diffstat (limited to 'stdlib/remove_module_aliases.awk')
| -rw-r--r-- | stdlib/remove_module_aliases.awk | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/stdlib/remove_module_aliases.awk b/stdlib/remove_module_aliases.awk index d66992cacb..1551cb10fd 100644 --- a/stdlib/remove_module_aliases.awk +++ b/stdlib/remove_module_aliases.awk @@ -1,3 +1,17 @@ +#************************************************************************** +#* * +#* OCaml * +#* * +#* Jeremie Dimino, Jane Street Europe * +#* * +#* Copyright 2017 Jane Street Group LLC * +#* * +#* All rights reserved. This file is distributed under the terms of * +#* the GNU Lesser General Public License version 2.1, with the * +#* special exception on linking described in the file LICENSE. * +#* * +#************************************************************************** + # This script remove the module aliases from stdlib.ml and stdlib.mli # so that ocamldep doesn't register dependencies from stdlib to all # other modules |