+ {
+ string lower_ext(ext);
+
+ for(unsigned int i=0;i<ext.length();i++)
+ lower_ext[i] = tolower(ext[i]);
+
+ if(Target::ext_book().count(lower_ext))
+ {
+ target_name=Target::ext_book()[lower_ext];
+ info("target name not specified - using %s", target_name.c_str());
+ }
+ else
+ target_name=ext;
+ }