[sr-dev] git:master:cdfd0d46: Makefile.defs: improve and extend comment about compilation mode