onox

onox

makegnat

Wrapper for gnatmake; makes the verbose output of gnatmake non-verbose while retaining verbose errors and warnings.