Ticket #9433: 9433_install.diff

File 9433_install.diff, 279 bytes (added by jdemeyer, 9 years ago)
  • install

    old new  
    383383SAGE=`$newest sage`
    384384export SAGE
    385385
     386SAGE_ROOT_REPO=`$newest sage_root`
     387export SAGE_ROOT_REPO
     388
    386389SAGE_SCRIPTS=`$newest sage_scripts`
    387390export SAGE_SCRIPTS
    388391