summaryrefslogtreecommitdiff
path: root/tools/OCamlc-custom
diff options
context:
space:
mode:
Diffstat (limited to 'tools/OCamlc-custom')
-rw-r--r--tools/OCamlc-custom10
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}"