diff options
author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-12-18 15:20:21 +0000 |
---|---|---|
committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-12-18 15:20:21 +0000 |
commit | 9b03a12aa39488d5350c71640f3e2e3feabccc0b (patch) | |
tree | 20d9486e496ab54af24c4145eb231e8f01e120cf /reproduce/config/pipeline/LOCAL.mk.in | |
parent | 13a188151374f7242b47fa8ab25562486b5c9631 (diff) |
Forced linking of bin/sh and verbose Make in Git
While checking the build of the previous commit, a failure happened when
linking `reproduce/build/dependencies/installed/bin/sh' with the built Bash
(because the symbolic link already existed!). So a `-f' flag was added to
`ln' to just change it without complaining.
I also noticed that the Git build was also not in verbose mode. So this has
also been corrected.
Diffstat (limited to 'reproduce/config/pipeline/LOCAL.mk.in')
0 files changed, 0 insertions, 0 deletions