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/src/make/dependencies-basic.mk | |
| 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/src/make/dependencies-basic.mk')
| -rw-r--r-- | reproduce/src/make/dependencies-basic.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/reproduce/src/make/dependencies-basic.mk b/reproduce/src/make/dependencies-basic.mk index 70a9c68..8717656 100644 --- a/reproduce/src/make/dependencies-basic.mk +++ b/reproduce/src/make/dependencies-basic.mk @@ -451,7 +451,7 @@ endif # Just to be sure that the installation step above went well, # before making the link, we'll see if the file actually exists # there. - if [ -f $@ ]; then ln -s $@ $(ibdir)/sh; fi + if [ -f $@ ]; then ln -fs $@ $(ibdir)/sh; fi |