make: prefix errors and such with the right command name
@@ -225,11 +225,12 @@ makefile_type = reading_nothing; if ((doname_it) && (doname(makefile_name, true, false) == build_failed)) { if (complain) { (void) fprintf(stderr, - gettext("make: Couldn't make `%s'\n"), + gettext("%s: Couldn't make `%s'\n"), + getprogname(), makefile_name->string_mb); } max_include_depth--; makefile_type = save_makefile_type; return failed;