Ignore:
Timestamp:
Nov 24, 2007 9:19:31 AM (12 years ago)
Author:
stefan
Message:

update to glpk 4.24
add patch to get correct status code if terminated because the gap is closed

File:
1 edited

Legend:

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

    r735 r788  
    22
    33set -e
    4 glpk_ver=4.23
     4glpk_ver=4.24
    55
    66wgetcmd=wget
     
    4747echo " "
    4848echo "Done downloading the source code for GLPK."
     49echo "Applying patch file."
    4950echo " "
     51
     52patch -p0 < glpk.patch
    5053
    5154echo " "
Note: See TracChangeset for help on using the changeset viewer.