Ticket #3537: trac_3537-unset-RM.patch
File trac_3537-unset-RM.patch, 558 bytes (added by , 11 years ago) |
---|
-
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 306 306 MAKE="make" && export MAKE 307 307 fi 308 308 309 if [ "$RM" = "" ]; then310 RM="rm" && export RM311 fi312 313 309 if [ "$RANLIB" = "" ]; then 314 310 RANLIB="ranlib" && export RANLIB 315 311 fi