diff options
Diffstat (limited to 'win32/build/mkdist.php')
| -rw-r--r-- | win32/build/mkdist.php | 13 |
1 files changed, 12 insertions, 1 deletions
diff --git a/win32/build/mkdist.php b/win32/build/mkdist.php index d77e8b6be..a529b2940 100644 --- a/win32/build/mkdist.php +++ b/win32/build/mkdist.php @@ -1,4 +1,4 @@ -<?php # $Id: mkdist.php,v 1.13 2005/03/26 21:32:20 edink Exp $ +<?php # $Id: mkdist.php,v 1.13.4.1 2006/12/19 10:26:01 edink Exp $ /* piece together a windows binary distro */ $build_dir = $argv[1]; @@ -401,6 +401,17 @@ if (file_exists($snapshot_template)) { } } } + + /* copy c++ runtime */ + $items = glob("$snapshot_template/dlls/*.CRT"); + + foreach ($items as $item) { + $bi = basename($item); + if (is_dir($item)) { + copy_dir($item, "$dist_dir/$bi"); + copy_dir($item, "$dist_dir/ext/$bi"); + } + } } else { echo "WARNING: you don't have a snapshot template\n"; echo " your dist will not be complete\n"; |