summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xconfigure2
1 files changed, 2 insertions, 0 deletions
diff --git a/configure b/configure
index 889667f03..9b22f1e53 100755
--- a/configure
+++ b/configure
@@ -1514,6 +1514,7 @@ sub write_dynamic_makefile
{
if (!exists($existing_install_list{$1}))
{
+ $existing_install_list{$1} = 1;
$idir = (split(' ',$1))[1];
$ifile = (split(' ',$1))[0];
$install_list = $install_list . " -install -m \$(INSTMODE) $1\n";
@@ -1525,6 +1526,7 @@ sub write_dynamic_makefile
{
if (!exists($existing_install_list{$1}))
{
+ $existing_install_list{$1} = 1;
$idir = (split(' ',$1))[1];
$ifile = (split(' ',$1))[0];
$install_list = $install_list . " -cp $1\n" if (!exists($existing_install_list{$1}));