Changeset 2561


Ignore:
Timestamp:
May 29, 2012 6:55:16 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/Mumps/trunk/get.Mumps

    r2210 r2561  
    1414    wgetcmd=ftp
    1515    echo "Using ftp command instead."
     16  elif test `uname` = FreeBSD; then
     17    wgetcmd=fetch
     18    echo "Using fetch command instead."
    1619  else
    1720    exit -1
Note: See TracChangeset for help on using the changeset viewer.