Changeset 1546


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

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

Location:
ThirdParty
Files:
5 edited

Legend:

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

    r1084 r1546  
    44
    55wgetcmd=wget
    6 wgetcount=`which wget 2>/dev/null | wc -w`
     6wgetcount=`which wget 2>/dev/null | wc -l`
    77if test ! $wgetcount = 1; then
    88  echo "Utility wget not found in your PATH."
  • ThirdParty/Blas/trunk/get.Blas

    r521 r1546  
    44
    55wgetcmd=wget
    6 wgetcount=`which wget 2>/dev/null | wc -w`
     6wgetcount=`which wget 2>/dev/null | wc -l`
    77if test ! $wgetcount = 1; then
    88  echo "Utility wget not found in your PATH."
  • 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."
  • ThirdParty/Lapack/trunk/get.Lapack

    r1520 r1546  
    66
    77wgetcmd=wget
    8 wgetcount=`which wget 2>/dev/null | wc -w`
     8wgetcount=`which wget 2>/dev/null | wc -l`
    99if test ! $wgetcount = 1; then
    1010  echo "Utility wget not found in your PATH."
  • ThirdParty/Metis/trunk/get.Metis

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