Niente da fare. Il mio codice è questo ma anche con il tuo suggerimento non cambia nulla.

if (strcmp($file, $line[0])==0)
{
$halt = 0;
echo "uguali
";
}
else
{
echo "diversi
";
}