diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-01-08 14:27:24 +0000 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-01-08 14:27:24 +0000 |
| commit | ef5cc722a967fcb0a9af1a62f6f5bb8007c10e8b (patch) | |
| tree | b0ce786a5106e5d7272a8d53912d3faf3312c131 /reproduce/config/pipeline | |
| parent | 00d22fb56fa4a9760a040ee4411e4c9d5ebcfb23 (diff) | |
When installing Bash, check if the sh link is already present
After installing Bash, we would just blindly try to build the $(ibdir)/sh'
symbolic link. But that could fail if it already existed. To make things
clean, we now remove any link first before attempting to make a new one.
Diffstat (limited to 'reproduce/config/pipeline')
0 files changed, 0 insertions, 0 deletions