void ExecuteSources (IEnumerable<string> sources, bool ignore_errors)
{
foreach (string file in sources){
try {
try {
bool first = true;
using (System.IO.StreamReader r = System.IO.File.OpenText (file)){
ReadEvalPrintLoopWith (p => {
var line = r.ReadLine ();
if (first && line.StartsWith ("#!")){
line = r.ReadLine ();
first = false;
}
return line;
});
}
} catch (FileNotFoundException){
Console.Error.WriteLine ("cs2001: Source file `{0}' not found", file);
return;
}
} catch {
if (!ignore_errors)
throw;
}
}
}