Ticket #509: install_files.patch

tools/dev/install_files.pl

@@ -292 +292 @@
     else {
         next unless -e $src;
         next if $^O eq 'cygwin' and -e "$src.exe"; # stat works, copy not
+        if (-l $src) {
+            # check if the system supports symbolic linking
+            use Config;
+            if ($Config{d_symlink} && $Config{d_readlink}) {
+                # copy as symbolic link
+                symlink(readlink($src), $dest);
+                print "$dest\n";
+                next;
+            }
+        }
         copy( $src, $dest ) or die "copy $src to $dest: $!\n";
         print "$dest\n";
     }