diff options
| -rw-r--r-- | Source/cmSystemTools.cxx | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/Source/cmSystemTools.cxx b/Source/cmSystemTools.cxx index f72992c..903e31c 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(); } |