diff options
Diffstat (limited to 'make-dist')
| -rwxr-xr-x | make-dist | 1 |
1 files changed, 1 insertions, 0 deletions
| @@ -440,6 +440,7 @@ echo "Making links to \`src'" | |||
| 440 | ln [a-zA-Z]*.h ../${tempdir}/src | 440 | ln [a-zA-Z]*.h ../${tempdir}/src |
| 441 | ln [a-zA-Z]*.m ../${tempdir}/src | 441 | ln [a-zA-Z]*.m ../${tempdir}/src |
| 442 | ln [a-zA-Z]*.in ../${tempdir}/src | 442 | ln [a-zA-Z]*.in ../${tempdir}/src |
| 443 | ln [a-zA-Z]*.mk ../${tempdir}/src | ||
| 443 | ## If we ended up with a symlink, or if we did not get anything | 444 | ## If we ended up with a symlink, or if we did not get anything |
| 444 | ## due to a cross-device symlink, copy the file. | 445 | ## due to a cross-device symlink, copy the file. |
| 445 | for file in [a-zA-Z]*.[hcs] [a-zA-Z]*.in; do | 446 | for file in [a-zA-Z]*.[hcs] [a-zA-Z]*.in; do |