1
0
mirror of https://github.com/mirror/make.git synced 2025-04-09 02:50:46 +08:00

Rename dash-w to print-directory.

Avoid conflicts with dash-W on case-insensitive filesystems.
This commit is contained in:
Paul Smith 2013-09-23 11:24:51 -04:00
parent 55a0c0e414
commit e8122ecb5d
2 changed files with 6 additions and 0 deletions
tests

View File

@ -1,3 +1,9 @@
2013-09-23 Paul Smith <psmith@gnu.org>
* scripts/options/print-directory: Rename dash-w to
print-directory to avoid conflicts with dash-W on case-insensitive
filesystems.
2013-09-22 Paul Smith <psmith@gnu.org>
* scripts/features/se_implicit: Verify that order-only tokens