aboutsummaryrefslogtreecommitdiff
path: root/reproduce/config/pipeline
diff options
context:
space:
mode:
authorMohammad Akhlaghi <mohammad@akhlaghi.org>2019-01-08 14:27:24 +0000
committerMohammad Akhlaghi <mohammad@akhlaghi.org>2019-01-08 14:27:24 +0000
commitef5cc722a967fcb0a9af1a62f6f5bb8007c10e8b (patch)
treeb0ce786a5106e5d7272a8d53912d3faf3312c131 /reproduce/config/pipeline
parent00d22fb56fa4a9760a040ee4411e4c9d5ebcfb23 (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