diff options
| author | Raul Infante-Sainz <infantesainz@gmail.com> | 2019-03-20 17:41:50 +0000 |
|---|---|---|
| committer | Raul Infante-Sainz <infantesainz@gmail.com> | 2019-03-20 17:41:50 +0000 |
| commit | 75571a551f794223bea2995dc7775a49abd63654 (patch) | |
| tree | 6cbba87197329edf504d08a7c48cd05301c516fb /reproduce/src/bash/git-post-checkout | |
| parent | 5c51f92f2535a2153ae46fb6311ffd9a15c244b3 (diff) | |
Including ATLAS in the pipeline, not yet complete
An initial installation of atlas is now included in the pipeline,
but we are still trying to make it compile and build smoothly. In
the process, we found that GCC also needs some modifications
(for example rpath issues).
Diffstat (limited to 'reproduce/src/bash/git-post-checkout')
0 files changed, 0 insertions, 0 deletions