Achim Gratz writes: > Bastien writes: >> However, I would suggest these changes to the current default.mk: > > These changes do not belong into default.mk — default.mk is the fallback > for when no changes to local.mk have been made. > >> - Have a target `make single' (useful for developers) >> >> - `make elint' would run the current `make _COMPILE_=slint3'. > > I don't like such proliferation of toplevel targets since they can't be > overridden by users, I second the idea that a top level 'make elint' would be very useful for developers (see the attached patch). In my opinion this would be more useful than a number of existing top-level targets, e.g., config-*, update, update2, cleanall, cleandirs, cleancontrib, cleantesting, cleanutils, cleanelc and targets. So if we want to have fewer top level targets (which I think would also be a good idea), perhaps one or more of the above could be removed before an elint target is added. > things like this (an alias) are easy enough to set up in local.mk: But many more people will use such a target if it exists at the top level and is mentioned by "make help".