Ticket #9243: trac_9243_2.patch

File trac_9243_2.patch, 1.1 KB (added by wjp, 13 years ago)

apply after trac_9243.patch

  • sage-doctest 

    # HG changeset patch
# User Willem Jan Palenstijn <wpalenst@math.leidenuniv.nl>
# Date 1278449401 -7200
# Node ID 18a3dba7fb7b857ed6488101ce093576c2cbf789
# Parent  6e69aa36dd4d5e731c3ad8dac9fbc1a6ecf36588
#9243: use power of two for internal ptest error code too

diff -r 6e69aa36dd4d -r 18a3dba7fb7b sage-doctest
    a b  
    1818# 4: doctest process was terminated by a signal
    1919# 8: the doctesting framework raised an exception
    2020# 16: script called with bad options
     21# 32: (used internally in sage-ptest)
    2122# 128: failed doctests
    2223####################################################################
    2324

  • sage-ptest 

    diff -r 6e69aa36dd4d -r 18a3dba7fb7b sage-ptest
    a b  
    117117            finished_time = time.time() - t
    118118        except:
    119119            ol = outfile.read()
    120             return (F, 5, 0, ol)
     120            return (F, 32, 0, ol)
    121121        ol = outfile.read()
    122122        if ret != 0:
    123123            break