diff options
Diffstat (limited to 'lang/sml-nj-devel/files/patch-config::targets')
| -rw-r--r-- | lang/sml-nj-devel/files/patch-config::targets | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/lang/sml-nj-devel/files/patch-config::targets b/lang/sml-nj-devel/files/patch-config::targets deleted file mode 100644 index d0e010f35d77..000000000000 --- a/lang/sml-nj-devel/files/patch-config::targets +++ /dev/null @@ -1,11 +0,0 @@ ---- config/targets.orig Thu Aug 5 00:05:00 2004 -+++ config/targets Tue Aug 10 11:00:56 2004 -@@ -68,7 +68,7 @@ - # pre-compile (certain) parts of MLRISC that are not already part of the SML/NJ - # compiler itself - # --request mlrisc -+#request mlrisc - - # pre-compile and install the C-Kit, which is a library for parsing and - # type-checking C programs |