Ticket #14027: 14027_dont_make_relative.patch

File 14027_dont_make_relative.patch, 658 bytes (added by jdemeyer, 10 years ago)
  • spkg/install

    # HG changeset patch
    # User Jeroen Demeyer <jdemeyer@cage.ugent.be>
    # Date 1359380309 -3600
    # Node ID 12096c6327990dcad21c4bfd120329781e4e39be
    # Parent  eaf9f0eba420cdf751f222feb1162a9e08504fca
    When upgrading, delete sage-make_relative
    
    diff --git a/spkg/install b/spkg/install
    a b  
    7070            done
    7171        done
    7272    fi
     73
     74    # The old sage-make_relative script is troublesome (#13407 and #14027).
     75    # We simply delete it, its role is taken over by sage-location.
     76    rm -f "$SAGE_LOCAL/bin/sage-make_relative"
    7377fi
    7478
    7579###############################################################################