diff options
Diffstat (limited to 'driver/ocamlcomp.sh.in')
| -rw-r--r-- | driver/ocamlcomp.sh.in | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/driver/ocamlcomp.sh.in b/driver/ocamlcomp.sh.in index 2aeb2de20..fc0a8e113 100644 --- a/driver/ocamlcomp.sh.in +++ b/driver/ocamlcomp.sh.in @@ -1,5 +1,17 @@ #!/bin/sh +######################################################################### +# # +# OCaml # +# # +# Jacques Garrigue, Kyoto University RIMS # +# # +# Copyright 2002 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. # +# # +######################################################################### + topdir=`dirname $0` exec @compiler@ -nostdlib -I $topdir/stdlib "$@" |