The -s option of make apparently doesn't work when called from make -C. Add another filter to ignore the Entering/Leaving messages. Also, fix a typo. |
||
---|---|---|
.. | ||
compilation | ||
kernel | ||
simulation | ||
unit |
The -s option of make apparently doesn't work when called from make -C. Add another filter to ignore the Entering/Leaving messages. Also, fix a typo. |
||
---|---|---|
.. | ||
compilation | ||
kernel | ||
simulation | ||
unit |