mirror of
https://github.com/seL4/seL4.git
synced 2026-04-04 22:39:54 +00:00
Makefile: Add a V=3 verbosity setting.
Prior to this commit there was an unfortunate disagreement between the seL4 project build system and the kernel's Makefile. V=3 was interpreted as maximum verbosity by the project build system and minimum verbosity by the kernel's Makefile. This commit makes V=3 the maximum verbosity for both. JIRA: VER-159
This commit is contained in:
Reference in New Issue
Block a user