(delete_archive_members): Handle case of

HEADER_SUCCESS_EXTENDED followed by HEADER_FAILURE.
Pass true/false to read_header, not 1/0.
This commit is contained in:
Paul Eggert
2003-09-03 06:14:37 +00:00
parent 7653d2f6b8
commit 86a9b9261d

View File

@@ -150,7 +150,7 @@ delete_archive_members (void)
do
{
enum read_header status = read_header (1);
enum read_header status = read_header (true);
switch (status)
{
@@ -189,6 +189,7 @@ delete_archive_members (void)
/* Fall through. */
case HEADER_SUCCESS:
case HEADER_SUCCESS_EXTENDED:
case HEADER_ZERO_BLOCK:
ERROR ((0, 0, _("Skipping to next header")));
/* Fall through. */
@@ -238,7 +239,7 @@ delete_archive_members (void)
if (current_block == record_end)
flush_archive ();
status = read_header (0);
status = read_header (false);
if (status == HEADER_ZERO_BLOCK && ignore_zeros_option)
{