diff options
Diffstat (limited to 'tools/OCamlc-custom')
| -rw-r--r-- | tools/OCamlc-custom | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/tools/OCamlc-custom b/tools/OCamlc-custom deleted file mode 100644 index c389974e2b..0000000000 --- a/tools/OCamlc-custom +++ /dev/null @@ -1,10 +0,0 @@ -# OCamlc with option -custom -# Macintosh version - -set echo 0 -set -e ocamlcommands "{tempfolder}"OCaml.temp."`date -n`" -echo >"{ocamlcommands}" -ocamlc -custom {"parameters"} -execute "{ocamlcommands}" - -delete -y "{ocamlcommands}" |
