Changeset 3911


Ignore:
Timestamp:
Nov 17, 2018 11:15:32 AM (10 months ago)
Author:
stefan
Message:

sync with trunk

Location:
ThirdParty/Mumps/stable/1.6
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • ThirdParty/Mumps/stable/1.6

  • ThirdParty/Mumps/stable/1.6/get.Mumps

    r3703 r3911  
    1212  echo "Utility wget not found in your PATH."
    1313  if test `uname` = Darwin; then
    14     wgetcmd=ftp
    15     echo "Using ftp command instead."
     14    wgetcmd="curl -L -O"
     15    echo "Using curl instead."
    1616  elif test `uname` = FreeBSD; then
    1717    wgetcmd=fetch
    18     echo "Using fetch command instead."
     18    echo "Using fetch instead."
    1919  else
    2020    exit -1
Note: See TracChangeset for help on using the changeset viewer.