
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">

<HTML><HEAD>

<META content="text/html; charset=koi8-r" http-equiv=Content-Type>

<META content="MSHTML 5.00.3017.1000" name=GENERATOR>

<STYLE></STYLE>

</HEAD>

<BODY bgColor=#ffffff>

<DIV><FONT face=Arial size=2>Indeed the problem occures when the files (headers 

and sources) are reached through an NFS server. When working on local disk there 

is no problem.</FONT></DIV>

<DIV><FONT face=Arial size=2>...but it's not sure whether the problem is comming 

from kdevelop or from the NFS connection?!?!?!</FONT></DIV>

<DIV><FONT face=Arial size=2>May be there is no problem at 

all.....</FONT></DIV></BODY></HTML>