[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
make 3.80: -B option is not documented in man and info pages
|
From: |
Petr Slansky |
|
Subject: |
make 3.80: -B option is not documented in man and info pages |
|
Date: |
Sat, 02 Nov 2002 01:23:23 -0000 |
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, address@hidden
---------------------------------
- make 3.80: -B option is not documented in man and info pages,
Petr Slansky <=