diff options
Diffstat (limited to 'tools/camlmktop')
| -rwxr-xr-x | tools/camlmktop | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/tools/camlmktop b/tools/camlmktop deleted file mode 100755 index c64e6f967c..0000000000 --- a/tools/camlmktop +++ /dev/null @@ -1,5 +0,0 @@ -#!/bin/sh -# Simple and elegant. -# Does not expunge compiler modules, but what the heck. - -exec cslc -linkall $* toplevellib.cma |