Ticket #509: install_files.patch

File install_files.patch, 0.7 KB (added by gerd, 6 years ago)

Generated with: diff -u tools/dev/install_files.pl tools/dev/install_files.pl.new > install_files.patch

  • tools/dev/install_files.pl

    old new  
    292292    else { 
    293293        next unless -e $src; 
    294294        next if $^O eq 'cygwin' and -e "$src.exe"; # stat works, copy not 
     295        if (-l $src) { 
     296            # check if the system supports symbolic linking 
     297            use Config; 
     298            if ($Config{d_symlink} && $Config{d_readlink}) { 
     299                # copy as symbolic link 
     300                symlink(readlink($src), $dest); 
     301                print "$dest\n"; 
     302                next; 
     303            } 
     304        } 
    295305        copy( $src, $dest ) or die "copy $src to $dest: $!\n"; 
    296306        print "$dest\n"; 
    297307    }