aboutsummaryrefslogtreecommitdiff
path: root/reproduce/config/pipeline
diff options
context:
space:
mode:
authorMohammad Akhlaghi <mohammad@akhlaghi.org>2018-12-04 15:16:08 +0000
committerMohammad Akhlaghi <mohammad@akhlaghi.org>2018-12-04 15:16:08 +0000
commitfa912a33396487aa213fbc3cf66305fdbfd312de (patch)
tree9c8d01caf98be41ceca81d81a7beeb1f0ded144c /reproduce/config/pipeline
parente093f994617f05fd6bd2467cde023b7883ad57a6 (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 'reproduce/config/pipeline')
0 files changed, 0 insertions, 0 deletions