int PetscGetRealPath(char * path, char *rpath )Not Collective
Systems that use the automounter often generate absolute pathsof the form "/tmp_mnt....". However, the automounter will fail tomount this path if it isn't already mounted, so we remove this fromthe head of the line. This may cause problems if, for some reason, /tmp_mnt is valid and not the result of the automounter.
Location: src/sys/src/fileiogrpath.c
System Index
Table of Contents