Ticket #3537: trac_3537_scripts.patch

File trac_3537_scripts.patch, 501 bytes (added by gfurnish, 11 years ago)
  • sage-env

    # HG changeset patch
    # User Gary Furnish <bill@indirectproof.net>
    # Date 1214796210 25200
    # Node ID 1b02b4acbfd3cc5aad6306114fc7ad3761d9d2e1
    # Parent  ea44740a44543cdc38e35ba7e3a2345324c1b108
    Critical fix for #3537
    
    diff -r ea44740a4454 -r 1b02b4acbfd3 sage-env
    a b fi 
    273273fi
    274274
    275275if [ "$RM" = "" ]; then
    276     RM="rm"  && export RM
     276    RM="rm -f"  && export RM
    277277fi
    278278 
    279279if [ "$RANLIB" = "" ]; then