make -s
suppresses other makefile messages also which might be important for developers. If you want to suppress “Entering/Leaving directory messages” only run make
with
make --no-print-directory
make -s
suppresses other makefile messages also which might be important for developers. If you want to suppress “Entering/Leaving directory messages” only run make
with
make --no-print-directory