Ticket #9725: 9725_TESTDIRS.patch

File 9725_TESTDIRS.patch, 753 bytes (added by jdemeyer, 9 years ago)

Apply to SAGE_ROOT repository

  • Makefile

    # HG changeset patch
    # User Jeroen Demeyer <jdemeyer@cage.ugent.be>
    # Date 1306239892 -10800
    # Node ID 16b5402485812212e22e98774bd6125aec1f536c
    # Parent  36b7a00c066f570488ead7a590071bcfb0034795
    Add devel/sage/doc/de to TESTDIRS
    
    diff -r 36b7a00c066f -r 16b540248581 Makefile
    a b  
    9191        rm -f .BUILDSTART
    9292
    9393TESTPRELIMS = . local/bin/sage-env && sage-starts &&
    94 TESTDIRS = devel/sage/doc/common devel/sage/doc/en devel/sage/doc/fr devel/sage/sage
     94TESTDIRS = devel/sage/doc/common devel/sage/doc/de devel/sage/doc/en devel/sage/doc/fr devel/sage/sage
    9595
    9696test: all # i.e. build and (HTML) doc
    9797        @# $(TESTPRELIMS) (also) puts sage-maketest into the path