diff options
Diffstat (limited to 'lang/sml-nj-devel/files/patch-config_unpack')
| -rw-r--r-- | lang/sml-nj-devel/files/patch-config_unpack | 12 |
1 files changed, 12 insertions, 0 deletions
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 0000000..5da9469 --- /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 |
