toolsDefFilename = str;\r
}\r
\r
str = getValue("ACTIVE_PLATFORM", targetFileInfo);\r
if (str != null && ! str.trim().equals("")) {\r
if ( ! str.endsWith(".fpd")) {\r
toolsDefFilename = str;\r
}\r
\r
str = getValue("ACTIVE_PLATFORM", targetFileInfo);\r
if (str != null && ! str.trim().equals("")) {\r
if ( ! str.endsWith(".fpd")) {\r