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