Changeset 1457 for ThirdParty/Mumps


Ignore:
Timestamp:
Dec 18, 2009 9:43:23 AM (10 years ago)
Author:
stefan
Message:

wc -w does not work well if there are spaces in the path

File:
1 edited

Legend:

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

    r1412 r1457  
    88
    99wgetcmd=wget
    10 wgetcount=`which wget 2>/dev/null | wc -w`
    11 if test ! $wgetcount = 1; then
     10whichwget=`which wget 2>/dev/null`
     11if test -z "$whichwget" ; then
    1212  echo "Utility wget not found in your PATH."
    1313  if test `uname` = Darwin; then
Note: See TracChangeset for help on using the changeset viewer.