diff options
| author | Jack Lloyd <[email protected]> | 2018-12-22 08:20:01 -0500 |
|---|---|---|
| committer | Jack Lloyd <[email protected]> | 2018-12-22 08:20:01 -0500 |
| commit | 2be8b68c1b16d30076118eb7326125764a7f53fa (patch) | |
| tree | 79fb07c3c10c784b412020aecb31e58f385b462a /src/scripts/ci | |
| parent | a852cd66690c7f764680da37282685edf43fcd0b (diff) | |
Fix build with PGI [ci skip]
I couldn't get anything to link with PGI, but at least it builds again.
Diffstat (limited to 'src/scripts/ci')
0 files changed, 0 insertions, 0 deletions