On Tue, 2008-08-12 at 09:08 -0700, Michael Barton wrote: > My understanding is that if you do a make distclean, you do not need > to do a make clean too. > > Michael [...] > > I always thought both are necessary (?) after a configuration and a > > "make". > > > > make clean --> cleans "make"d files > > make distclean --> cleans configuration files > > > > Is that correct? > > > > Nikos > > > > [...]
Michael, you are right. It might be funny but I got used to do first "sudo make clean" and then "sudo make distclean" and, important, I never found a crystal-clear explanation about "cleaning". Maybe I did not search enough the web. Kind regards, Nikos _______________________________________________ grass-user mailing list [email protected] http://lists.osgeo.org/mailman/listinfo/grass-user
