all: @echo MudOS is currently configured to use 'GNUmakefile'. Edit 'build.MudOS' @echo if this is not what you want. .DEFAULT: @echo MudOS is currently configured to use 'GNUmakefile'. Edit 'build.MudOS' @echo if this is not what you want. nothing: which_makefile: echo MakeIsMake