Is everyone happy with the pure python run-tests? Shall we delete the shell version of run-tests, to save maintaining two versions? Sascha, have you tried run-tests.py on SunOS? Regards, Stephen