From a7af751bf2f7d9015d66f7837128732868572742 Mon Sep 17 00:00:00 2001 From: Joseph Koshy Date: Thu, 2 Jun 2005 08:08:41 +0000 Subject: Update to v110.54. Submitted by: Johannes 5 Joemann --- lang/sml-nj-devel/files/patch-config_unpack | 12 ++++++++++++ 1 file changed, 12 insertions(+) create mode 100644 lang/sml-nj-devel/files/patch-config_unpack (limited to 'lang/sml-nj-devel/files/patch-config_unpack') diff --git a/lang/sml-nj-devel/files/patch-config_unpack b/lang/sml-nj-devel/files/patch-config_unpack new file mode 100644 index 000000000000..5da9469a6eaa --- /dev/null +++ b/lang/sml-nj-devel/files/patch-config_unpack @@ -0,0 +1,12 @@ +--- config/unpack.orig Sat Jan 15 00:53:18 2005 ++++ config/unpack Wed Mar 9 23:12:31 2005 +@@ -283,6 +283,9 @@ + heap2asm) + unpack "Heap->ASM tool" "$SRCDIR" heap2asm heap2asm + ;; ++ tools) ++ unpack "(profiling) tools" "$SRCDIR" tools tools ++ ;; + doc) + echo Package doc is currently unavailable. + # unpack Doc $ROOT doc doc -- cgit v1.2.3