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 /tex | |
| 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 'tex')
0 files changed, 0 insertions, 0 deletions