Skip to content
Snippets Groups Projects
Select Git revision
No matching results
An error occurred while fetching branches. Retry the search.
An error occurred while fetching tags. Retry the search.
Blame Permalink
  • Giovanni Bussi's avatar
    3ee5c978
    Small fix · 3ee5c978
    Giovanni Bussi authored 
    I think I fixed the problem that sometime leads to errors
in builds with a lot of cpus (make -j 12)
    3ee5c978
    History
    Small fix
    Giovanni Bussi authored 
    I think I fixed the problem that sometime leads to errors
in builds with a lot of cpus (make -j 12)
Code owners
Assign users and groups as approvers for specific file changes. Learn more.