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 | 4e1b29fbc6c3fc86c665721279410453e341c281 (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).
Diffstat (limited to 'devel/noweb')
0 files changed, 0 insertions, 0 deletions