Ignore:
Timestamp:
Jul 25, 2007 10:46:01 PM (13 years ago)
Author:
stefan
Message:

lous changes on glpk setup

File:
1 edited

Legend:

Unmodified
Added
Removed
  • ThirdParty/Glpk/trunk/get.Glpk

    r433 r436  
    1111
    1212echo " "
    13 echo "Running script for downloading the source code for GLPK"
     13echo "Running script to download the source code for GLPK $glpk_ver."
    1414echo " "
    1515
     
    2121echo "Uncompressing the tarball..."
    2222gunzip -f glpk-${glpk_ver}.tar.gz
     23
     24
     25if test -d glpk ; then
     26  echo "Moving current glpk to glpk.OLD."
     27  if test -d glpk.OLD ; then
     28    rm -rf glpk.OLD
     29  fi
     30  mv glpk glpk.OLD
     31fi
    2332
    2433echo "Unpacking the source code..."
Note: See TracChangeset for help on using the changeset viewer.