Ticket #12568: 12568-fix.patch

File 12568-fix.patch, 711 bytes (added by itaibn, 10 years ago)

A patch which fixes the bug

  • Makefile

    changeset:   69:f78194483947
    tag:         tip
    user:        Itai Bar-Natan <itaibn3141@gmail.com>
    date:        Thu Feb 23 16:32:04 2012 -0500
    files:       Makefile
    description:
    Fixes bug in `make test` and `make micro_release`. See Trac #12568
    
    
    diff --git a/Makefile b/Makefile
    a b  
    8484        rm -f .BUILDSTART
    8585
    8686micro_release:
    87         . local/bin/sage-env && local/bin/sage-micro_release
     87        bash -c ". local/bin/sage-env && local/bin/sage-micro_release"
    8888
    8989text-expand:
    9090        ./spkg/base/text-expand
     
    9797
    9898test: all # i.e. build and (HTML) doc
    9999        $(TESTPRELIMS)
    100         . local/bin/sage-env && sage-maketest
     100        bash -c ". local/bin/sage-env && sage-maketest"
    101101
    102102check: test
    103103