diff options
author | Satoshi Asami <asami@FreeBSD.org> | 1995-10-11 09:25:58 +0000 |
---|---|---|
committer | Satoshi Asami <asami@FreeBSD.org> | 1995-10-11 09:25:58 +0000 |
commit | ae997f9df5715419de006f6b0eed5c65aa567622 (patch) | |
tree | 51095392d41b0361b8d61a8c1225790a2d2d270f /devel/noweb | |
parent | This port requires a LOT of directories in ${PREFIX}/share/nls - make sure (diff) |
Add "--batch" to PATCH_ARGS and PATCH_DIST_ARGS when ${BATCH} is set
to avoid an infinite loop in patch when the patch target is not found and
stdin is redirected from /dev/null (the "skip this patch? [n]" question).
Notes
Notes:
svn path=/head/; revision=2318
Diffstat (limited to 'devel/noweb')
0 files changed, 0 insertions, 0 deletions