Ticket #10801: trac_10801-root_repo.patch

File trac_10801-root_repo.patch, 695 bytes (added by was, 10 years ago)

apply to the repo in $SAGE_ROOT

  • Makefile 

    # HG changeset patch
# User William Stein <wstein@gmail.com>
# Date 1314129427 25200
# Node ID 8683f678698997f09555dd7e6e1c61460fd988cc
# Parent  5d685efc2beb5c3e54fa8b15f9fa07933a30d27d
trac 10801: create a script sage-micro_release that deletes things not strictly needed for a minimal never upgraded or developed release

diff --git a/Makefile b/Makefile
    a b  
    100100        rm -rf tmp
    101101        rm -f .BUILDSTART
    102102
     103micro_release:
     104        . local/bin/sage-env && local/bin/sage-micro_release
     105
    103106TESTPRELIMS = . local/bin/sage-env && sage-starts &&
    104107TESTDIRS = devel/sage/doc/common devel/sage/doc/de devel/sage/doc/en devel/sage/doc/fr devel/sage/doc/ru devel/sage/sage
    105108