1) try to find file for error, if it is not found in targets of makefile
2) red the history and sets current makefile, if MakeFileSupport is called, and the history was not read in until now.
Authored by: FrancescoA 2010-09-09
Parent: [r537]
Child: [r539]