The shell exits after the command, hence there is no need for pushd/popd.
The shell exits after the command, hence there is no need for pushd/popd.

zhouyuan/teuthology,ivotron/teuthology,dreamhost/teuthology,robbat2/teuthology,SUSE/teuthology,michaelsevilla/teuthology,SUSE/teuthology,caibo2014/teuthology,dmick/teuthology,ktdreyer/teuthology,ktdreyer/teuthology,t-miyamae/teuthology,caibo2014/teuthology,michaelsevilla/teuthology,ceph/teuthology,tchaikov/teuthology,ivotron/teuthology,yghannam/teuthology,t-miyamae/teuthology,zhouyuan/teuthology,dreamhost/teuthology,tchaikov/teuthology,robbat2/teuthology,dmick/teuthology,dmick/teuthology,yghannam/teuthology,SUSE/teuthology,ceph/teuthology