Ticket #12568: trac_12568-reviewer.patch

File trac_12568-reviewer.patch, 949 bytes (added by jpflori, 10 years ago)

Reviewer patch; rebase on 5.0 series

  • Makefile

    # HG changeset patch
    # User Jean-Pierre Flori <jean-pierre.flor@ssi.gouv.fr>
    # Date 1333093441 -7200
    # Node ID f683b4d5a7bbb94a9a060d50d25a5af4a01b3372
    # Parent  ea3648b9f840b2e7fc387ecffcfd24c41218299c
    #12568: Fix test and micro_release make target.
    
    diff --git a/Makefile b/Makefile
    a b  
    8080        rm -rf tmp
    8181        rm -f .BUILDSTART
    8282
    83 micro_release: 
    84         . spkg/bin/sage-env && local/bin/sage-micro_release
     83micro_release:
     84        bash -c ". spkg/bin/sage-env && local/bin/sage-micro_release"
    8585
    8686text-expand:
    8787        ./spkg/bin/text-expand
     
    9292TESTPRELIMS = local/bin/sage-starts
    9393TESTDIRS = devel/sage/doc/common devel/sage/doc/de devel/sage/doc/en devel/sage/doc/fr devel/sage/doc/ru devel/sage/sage
    9494
    95 test: all # i.e. build and (HTML) doc
     95test: all # i.e. build and doc
    9696        $(TESTPRELIMS)
    97         . spkg/bin/sage-env && sage-maketest
     97        $(PIPE) "./sage -t --sagenb $(TESTDIRS) 2>&1" "tee -a test.log"
    9898
    9999check: test
    100100