[Swan-dev] what should "make ; sudo make install" do (again)

[D. Hugh Redelmeier]

| From: Andrew Cagney <andrew.cagney at gmail.com>

| First, as discussed on IRC, it turns out that the sequence:
| 
|   make programs ; sudo make install
| 
| is very much entrenched as a standard way to get everything installed.
| Consequently, to avoid having "make install" build stuff, "make programs"
| will need to build everything - it can't just build programs.  Effectively
| "programs" and "all" are synonyms.

Ouch.

I frequently do "make programs" to build JUST userland.

It seems really dumb to make "make programs" do something other than make 
programs.

Surely
	make ; sudo make install
or
	make all ; sudo make install
would be the right way to do what people misuse
	make programs ; sudo make install
to do.