mirror of
https://github.com/ukui/kernel.git
synced 2026-03-09 10:07:04 -07:00
0a1f00a1c8
Add an -s option to the various frontends and pass it when make -s is used. Also, use $(kecho) instead of @echo in the Makefile. Signed-off-by: Michal Marek <mmarek@suse.cz>