[sr-dev] git:master:a19337d3: Makefile: use distclean as shortcut of maintainer-clean