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