diff options
| author | Jameson Graef Rollins <jrollins@finestructure.net> | 2009-02-12 19:11:50 -0500 |
|---|---|---|
| committer | Jameson Graef Rollins <jrollins@finestructure.net> | 2009-02-12 19:11:50 -0500 |
| commit | cadb991940633888988df530819ce9465cd688ed (patch) | |
| tree | 8f92a733796c6d77bc530e93299d6a92cc993c3d /tests | |
| parent | 387848dfa7081364094a71ff70f65bb1cbd83d8b (diff) | |
| parent | 472cb2447cded21c3279f314d6f9cf159d34f73f (diff) | |
Merge commit 'dkg/master'
Conflicts:
src/share/ma/setup
Diffstat (limited to 'tests')
| -rw-r--r-- | tests/common | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/tests/common b/tests/common index adc96a2..0f90500 100644 --- a/tests/common +++ b/tests/common @@ -3,7 +3,10 @@ failed_cleanup() { # FIXME: can we be more verbose here? echo 'FAILED!' - read -p "press enter to cleanup and remove tmp:" + read -p "press enter to cleanup and remove tmp (or type bash for a subshell to examine): " XX + if [ "$XX" = bash ] ; then + bash + fi cleanup } |