Thread Previous • Date Previous • Date Next • Thread Next |
On 31. okt. 2007, at 21:23, Dick Hollenbeck wrote:
This sounds useful. Are you thinking a shell script, or an additional make target which would do it only when asked?
I haven't given it any thought, but somehow integrating it into the makefiles would be nice. It should also be trusted to be up-to-date. Otherwise, we'll still end up doing a make clean && make whenever a puzzling bug shows up.
~/= Marius -- We are Elektropeople for a better living.
Thread Previous • Date Previous • Date Next • Thread Next |