make 3.80: Thanks for -B option very much, it seems to work well. -B option is not documented in man and info pages. There is an alterntaive --always-make for -B option, from my point of view, --rebuild-all will be better but I am happy with --alwayes-make too.
With regards, Petr --------------------------------- Petr Slansky, [EMAIL PROTECTED] --------------------------------- _______________________________________________ Bug-make mailing list [EMAIL PROTECTED] http://mail.gnu.org/mailman/listinfo/bug-make