aboutsummaryrefslogtreecommitdiff
path: root/reproduce/config/pipeline
diff options
context:
space:
mode:
authorMohammad Akhlaghi <mohammad@akhlaghi.org>2018-11-20 12:10:33 +0000
committerMohammad Akhlaghi <mohammad@akhlaghi.org>2018-11-20 12:10:33 +0000
commitbcf45125dfb8c7940bfff9a95ca7ba87bb961b7b (patch)
tree6d0d71b1afa1052ee518fac7a256307952881d45 /reproduce/config/pipeline
parent016b8f3b567e9af1125361520fe609f009c814c9 (diff)
Not including system's libraries in high-level dependencies
The system's libraries are no longer used in building the higher-level dependencies. Also, thanks to Raul Infante Sainz, we found out that Bash's build script was still removing the extra directory information (not good!).
Diffstat (limited to 'reproduce/config/pipeline')
0 files changed, 0 insertions, 0 deletions