Merge pull request #579 from antmicro/fix_building_bios
authorenjoy-digital <florent@enjoy-digital.fr>
Mon, 29 Jun 2020 12:52:37 +0000 (14:52 +0200)
committerGitHub <noreply@github.com>
Mon, 29 Jun 2020 12:52:37 +0000 (14:52 +0200)
Fix ordering of libraries


Trivial merge