diff --git a/Source/cmSystemTools.cxx b/Source/cmSystemTools.cxx index f72992ce56..903e31c201 100644 --- a/Source/cmSystemTools.cxx +++ b/Source/cmSystemTools.cxx @@ -486,6 +486,13 @@ const char *cmSystemTools::ConvertToUnixSlashes(std::string& path) { path = path.substr(0, path.size()-1); } + // if there is a /tmp_mnt in a path get rid of it! + // stupid sgi's + if(path.find("/tmp_mnt") == 0) + { + path = path.substr(8); + } + return path.c_str(); }