Menu

Commit [r538]  Maximize  Restore  History

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.

FrancescoA 2010-09-09

changed /trunk/drplugins/MakefileSupport.py
/trunk/drplugins/MakefileSupport.py Diff Switch to side-by-side view
Loading...