diff options
Diffstat (limited to 'gnu/usr.bin/patch/patch.c')
| -rw-r--r-- | gnu/usr.bin/patch/patch.c | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/gnu/usr.bin/patch/patch.c b/gnu/usr.bin/patch/patch.c index 626c453..c34ca83 100644 --- a/gnu/usr.bin/patch/patch.c +++ b/gnu/usr.bin/patch/patch.c @@ -1,5 +1,5 @@ char rcsid[] = - "$Header: /home/cvs/386BSD/src/gnu/usr.bin/patch/patch.c,v 1.3 1994/02/17 22:20:34 jkh Exp $"; + "$Header: /home/ncvs/src/gnu/usr.bin/patch/patch.c,v 1.4 1994/02/25 21:46:04 phk Exp $"; /* patch - a program to apply diffs to original files * @@ -9,6 +9,9 @@ char rcsid[] = * money off of it, or pretend that you wrote it. * * $Log: patch.c,v $ + * Revision 1.4 1994/02/25 21:46:04 phk + * added the -C/-check again. + * * Revision 1.3 1994/02/17 22:20:34 jkh * Put this back - I was somehow under the erroneous impression that patch was in * ports, until I saw the the commit messages, that is! :-) All changed backed out. @@ -135,7 +138,7 @@ static int remove_empty_files = FALSE; static int reverse_flag_specified = FALSE; /* TRUE if -C was specified on command line. */ -static int check_patch = FALSE; +int check_patch = FALSE; /* Apply a set of diffs as appropriate. */ |
