# HG changeset patch # User Bryan O'Sullivan # Date 1173246030 28800 # Node ID d9f332f85673367cd9d185757ec33124321ba001 # Parent 627effec9d4e843ba63403a2351ea30f81809f80 Handle YA corner case. diff -r 627effec9d4e -r d9f332f85673 en/examples/run-example --- a/en/examples/run-example Tue Mar 06 21:36:14 2007 -0800 +++ b/en/examples/run-example Tue Mar 06 21:40:30 2007 -0800 @@ -322,7 +322,13 @@ if name.endswith('.out') or name.endswith('~'): continue if name.endswith('.run'): continue pathname = os.path.join(path, name) - st = os.lstat(pathname) + try: + st = os.lstat(pathname) + except OSError, err: + # could be an output file that was removed while we ran + if err.errno != errno.ENOENT: + raise + continue if stat.S_ISREG(st.st_mode) and st.st_mode & 0111: if example(pathname, verbose).run(): errs += 1