diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-02-20 11:14:06 +0000 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-02-20 11:14:06 +0000 |
| commit | d8af43e8a2c804b42d7931c108baca3a5c31ded2 (patch) | |
| tree | 1ba165fc9761d9e3a427cdee548f090ea56037dd /reproduce/src/bash/git-post-checkout | |
| parent | 41b458f8f31bbb5b74f96c5647beae28c49dedaf (diff) | |
Pipeline's Bash and AWK deleted when re-building ncurses
As in all programs, the build process of ncurses depends on the running
shell (Bash) and AWK. At the start of the building of ncurses, we remove
its library. But Bash and AWK depend on ncurses to run (this creates a
circular dependency). Therefore its necessary to remove the Bash and AWK
executables when re-building ncurses.
This bug was found by Raul Infante Sainz.
Diffstat (limited to 'reproduce/src/bash/git-post-checkout')
0 files changed, 0 insertions, 0 deletions