On 2014-8-14 17:58 , Lawrence Velázquez wrote: > On Aug 14, 2014, at 2:40 AM, Joshua Root <jmr at macports.org> wrote: > >> Do we really need to call 'sh -c' here? > > I assumed that directory changes persist after the call to "system" — hence the pushd/popd in the previous version. Nope, system does a fork + exec of /bin/sh. - Josh