Changeset 2558 for ThirdParty/Glpk


Ignore:
Timestamp:
May 29, 2012 6:55:10 AM (7 years ago)
Author:
stefan
Message:

use fetch instead of wget on FreeBSD (patch contributed by Pedro F. Giffuni)

File:
1 edited

Legend:

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

    r1917 r2558  
    1111    wgetcmd=ftp
    1212    echo "Using ftp command instead."
     13  elif test `uname` = FreeBSD; then
     14    wgetcmd=fetch
     15    echo "Using fetch command instead."
    1316  else
    1417    exit -1
Note: See TracChangeset for help on using the changeset viewer.