Ticket #14699: 14699_env_version_bump.patch

File 14699_env_version_bump.patch, 657 bytes (added by jdemeyer, 7 years ago)
  • spkg/bin/sage-env

    # HG changeset patch
    # User Jeroen Demeyer <jdemeyer@cage.ugent.be>
    # Date 1370933494 -7200
    # Node ID 715a2734dfeb3ae7b11038256e5f72f545f8101c
    # Parent  f735b141d522dab2ce7ca48236a4001178771108
    sage-env version bump because of need for FC variable
    
    diff --git a/spkg/bin/sage-env b/spkg/bin/sage-env
    a b  
    161161# sage-env version history:
    162162# - sage-4.7.1: version 1 (#10469)
    163163# - sage-5.4:   version 2 (#13395)
     164# - sage-5.10:  version 3 (#14699)
    164165#
    165 SAGE_ENV_VERSION=2
     166SAGE_ENV_VERSION=3
    166167if [ "$SAGE_ENV_SOURCED" = "$SAGE_ENV_VERSION" ]; then
    167168    # Already sourced, nothing to do.
    168169    return 0