diff options
Diffstat (limited to 'ocamlbuild/examples/example3/make.sh')
| -rwxr-xr-x | ocamlbuild/examples/example3/make.sh | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/ocamlbuild/examples/example3/make.sh b/ocamlbuild/examples/example3/make.sh index 3588a713f..e64152e11 100755 --- a/ocamlbuild/examples/example3/make.sh +++ b/ocamlbuild/examples/example3/make.sh @@ -1,5 +1,17 @@ #!/bin/sh +######################################################################### +# # +# OCaml # +# # +# Nicolas Pouillard, projet Gallium, INRIA Rocquencourt # +# # +# Copyright 2007 Institut National de Recherche en Informatique et # +# en Automatique. All rights reserved. This file is distributed # +# under the terms of the Q Public License version 1.0. # +# # +######################################################################### + set -e TARGET=epoch |