version 1.1, 1998/04/13 05:12:55 |
version 1.2, 1998/04/13 05:16:02 |
|
|
for ( f in bad_files ) { |
for ( f in bad_files ) { |
if ( bad_files[ f ] == 1 ) { |
if ( bad_files[ f ] == 1 ) { |
if ( ! header ) { |
if ( ! header ) { |
print "You MUST remove the following files:" |
print "You MUST remove the following files/directories:" |
print |
print |
header = 1 |
header = 1 |
} |
} |
print "rm -f", f |
print "/bin/rm -rf", f |
} |
} |
} |
} |
if ( header ) { |
if ( header ) { |
|
|
header = 0 |
header = 0 |
} |
} |
if ( unk_count > 0 ) { |
if ( unk_count > 0 ) { |
print "The following files are extra and should probably be removed:" |
print "The following files/dirs are extra and " \ |
|
"should probably be removed:" |
print |
print |
for ( i = 0; i < unk_count; i += 1 ) { |
for ( i = 0; i < unk_count; i += 1 ) { |
print "rm -f", unk_files[ i ] |
print "/bin/rm -rf", unk_files[ i ] |
} |
} |
print |
print |
} |
} |