b8f682b5e2
It seems that by default the 32-bit headers are not actually installed when installing development tooling. As we're using gcc headers, we need to install them as an extra package. See for reference: - https://stackoverflow.com/a/54082790 - https://askubuntu.com/a/106092 Also removed the now unused arm tooling |
||
|---|---|---|
| .. | ||
| azure-pipelines | ||
| docker | ||
| github-actions | ||
| scripts | ||
| cpu-usage-over-time.py | ||
| init_repo.sh | ||
| publish_toolstate.sh | ||
| run.sh | ||
| shared.sh | ||