diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-12-04 15:16:08 +0000 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-12-04 15:16:08 +0000 |
| commit | fa912a33396487aa213fbc3cf66305fdbfd312de (patch) | |
| tree | 9c8d01caf98be41ceca81d81a7beeb1f0ded144c /.gitignore | |
| parent | e093f994617f05fd6bd2467cde023b7883ad57a6 (diff) | |
Removed already built symbolic links to OS tools
`ln' will complain about a link already existing. So to avoid having to
rely on the `-f' option (which may not be portable across systems), when we
are making symbolic links to the OS tools that we won't be building, we now
remove the file if it exists, then make a new symbolic link.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions