Skip to content
GitLab
Commit a2369528 authored by Nicolas Roche's avatar Nicolas Roche
Browse files

Fix CI build on github 

Recompile libgpr before compiling gnatcoll-core. As version packaged on
GPL 2017 is no more compatible with latest gnatcoll-core changes.

Change-Id: Id8840a05568a8af33ea6643b3658a659de61ab64
parent ca10202b
Hide whitespace changes
Inline Side-by-side
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment