diff options
Diffstat (limited to 'build/boot.sh')
| -rwxr-xr-x | build/boot.sh | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/build/boot.sh b/build/boot.sh index 3de6006ab..79d5d20ba 100755 --- a/build/boot.sh +++ b/build/boot.sh @@ -1,4 +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. # +# # +######################################################################### + # $Id$ cd `dirname $0`/.. set -ex |