device: if filename has no extension -> use raw type
This commit is contained in:
parent
533cd64f37
commit
70e9671b3a
|
|
@ -19,6 +19,9 @@ Device::Device(Jtag *jtag, string filename, const string &file_type,
|
||||||
{
|
{
|
||||||
if (!file_type.empty())
|
if (!file_type.empty())
|
||||||
_file_extension = file_type;
|
_file_extension = file_type;
|
||||||
|
else if (!filename.empty() && (filename.find_last_of(".")) == string::npos)
|
||||||
|
_file_extension = "raw";
|
||||||
|
|
||||||
_jtag = jtag;
|
_jtag = jtag;
|
||||||
if (verbose > 0)
|
if (verbose > 0)
|
||||||
cout << "File type : " << _file_extension << endl;
|
cout << "File type : " << _file_extension << endl;
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue