diff --git a/driver/main.cpp b/driver/main.cpp index b52c1f3d..b9f6a207 100644 --- a/driver/main.cpp +++ b/driver/main.cpp @@ -772,7 +772,8 @@ int main(int argc, char** argv) #endif if (Port::stricmp(ext, global.mars_ext) == 0 || - Port::stricmp(ext, global.hdr_ext) == 0) + Port::stricmp(ext, global.hdr_ext) == 0 || + FileName::equals(ext, "dd")) { ext--; // skip onto '.' assert(*ext == '.');