| changeset 22562 | e909d64b8dd8 |
| parent 20763 | 95cf1b4945f4 |
| child 37328 | b51428cf0edf |
| 22561:5ee70f9edbb7 | 22562:e909d64b8dd8 |
|---|---|
19 } |
19 } |
20 |
20 |
21 { totallines++; print $0 } |
21 { totallines++; print $0 } |
22 |
22 |
23 END { |
23 END { |
24 if ((headerlines == 1) && (datalines == 1) && (totallines == 2)) { |
24 if ((headerlines == 1) && (datalines == 1)) { |
25 exit 0 |
25 exit 0 |
26 } |
26 } |
27 else { |
27 else { |
28 exit 1 |
28 exit 1 |
29 } |
29 } |