Ticket #3537: trac_3537-unset-RM.patch

File trac_3537-unset-RM.patch, 558 bytes (added by jdemeyer, 9 years ago)

Do not set $RM in sage-env

  • sage-env

    # HG changeset patch
    # User Jeroen Demeyer <jdemeyer@cage.ugent.be>
    # Date 1305212180 -7200
    # Node ID 31e13b08bea577bc3248bde0ce875a6b06c129e3
    # Parent  4f6198d5560c49b5d3ce03badb71986e13607832
    Do not set $RM in sage-env
    
    diff -r 4f6198d5560c -r 31e13b08bea5 sage-env
    a b  
    306306    MAKE="make"         && export MAKE
    307307fi
    308308
    309 if [ "$RM" = "" ]; then
    310     RM="rm"  && export RM
    311 fi
    312  
    313309if [ "$RANLIB" = "" ]; then
    314310    RANLIB="ranlib"  && export RANLIB
    315311fi