diff options
Diffstat (limited to 'driver/ocamlcomp.sh.in')
| -rw-r--r-- | driver/ocamlcomp.sh.in | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/driver/ocamlcomp.sh.in b/driver/ocamlcomp.sh.in deleted file mode 100644 index 2aeb2de20b..0000000000 --- a/driver/ocamlcomp.sh.in +++ /dev/null @@ -1,5 +0,0 @@ -#!/bin/sh - -topdir=`dirname $0` - -exec @compiler@ -nostdlib -I $topdir/stdlib "$@" |