User Ratings

★★★★★
★★★★
★★★
★★
17
0
0
0
1
ease 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 5 / 5
features 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 5 / 5
design 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 5 / 5
support 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 5 / 5
Write a Review

User Reviews

  • jameswright
    1 of 5 2 of 5 3 of 5 4 of 5 5 of 5

    { $as_echo "$as_me:${as_lineno-$LINENO}: checking for gnu make >= 3.81" >&5 $as_echo_n "checking for gnu make >= 3.81... " >&6; } make_okay=0 if make --version >/dev/null 2>&1; then v=`make --version | grep 'GNU Make' | sed -e 's/.*Make //'` maj=`echo $v | cut -d. -f 1` min=`echo $v | cut -d. -f 2` if test $maj -gt 3 -o '(' $maj -eq 3 -a $min -ge 81 ')'; then make_okay=1 fi fi All the world is gnu and every make is gnu make? should check MAKE at least. 'Quality' it is not

    Posted 03/03/2013