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

Reply via email to