9e0b6baea0
let's just have a short for loop that does effectively the same thing, and gives us better guarantees about [not] modifying the source buffer, and that one definitely has to free() the output when done (the implementations of basename() on different platforms vary on these guarantees). :-) This commit was SVN r5307.
Copyright (c) 2004-2005 The Trustees of Indiana University.
All rights reserved.
Copyright (c) 2004-2005 The Trustees of the University of Tennessee.
All rights reserved.
Copyright (c) 2004-2005 High Performance Computing Center Stuttgart,
University of Stuttgart. All rights reserved.
Copyright (c) 2004-2005 The Regents of the University of California.
All rights reserved.
$COPYRIGHT$
Additional copyrights may follow
$HEADER$
This is the world's greatest MPI.
...more to write here
should be a short file, referring to the real docs.