1 files changed, 1 insertions, 1 deletions
diff --git a/configure b/configure
index 9b22f1e53..99aed8396 100755
--- a/configure
+++ b/configure
@@ -1529,7 +1529,7 @@ sub write_dynamic_makefile
 							$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}));
+							$install_list = $install_list . "	-cp $1\n";
 							$ifile =~ s/.*\///g;
 							$uninstall_list = $uninstall_list . "	-rm $idir/$ifile\n";
 						}