diff options
-rwxr-xr-x | configure | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -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})); |