1# RUN: rm -rf %t/UserFoo && mkdir -p %t/UserFoo/FooDocs 2# RUN: touch %t/UserFoo/user.txt %t/UserFoo/FooDocs/doc.txt 3# RUN: pushd %t/UserFoo 4# RUN: pushd FooDocs 5# RUN: cat doc.txt 6# RUN: popd 7# RUN: cat user.txt 8# RUN: popd
1# RUN: rm -rf %t/UserFoo && mkdir -p %t/UserFoo/FooDocs 2# RUN: touch %t/UserFoo/user.txt %t/UserFoo/FooDocs/doc.txt 3# RUN: pushd %t/UserFoo 4# RUN: pushd FooDocs 5# RUN: cat doc.txt 6# RUN: popd 7# RUN: cat user.txt 8# RUN: popd