Ignore:
Timestamp:
May 6, 2010 9:55:13 AM (11 years ago)
Author:
stefan
Message:

use wc -l instead of -w to accomodate people which use a spaces in paths

File:
1 edited

Legend:

Unmodified
Added
Removed

  • ThirdParty/Glpk/trunk/get.Glpk

    r1471 r1546  
    55
    66wgetcmd=wget
    7 wgetcount=`which wget 2>/dev/null | wc -w`
     7wgetcount=`which wget 2>/dev/null | wc -l`
    88if test ! $wgetcount = 1; then
    99  echo "Utility wget not found in your PATH."
Note: See TracChangeset for help on using the changeset viewer.