| blob | e04529074a18f7b3f19f4beab11c6c263941649b |
1 diff -ur terminus-font-4.40/configure x/configure
2 --- terminus-font-4.40/configure 2015-07-29 13:55:18.000000000 -0400
3 +++ x/configure 2016-04-27 17:23:34.326982346 -0400
4 @@ -36,15 +36,15 @@
5 for i do
6 if test "$i" != "`echo "$i" | sed -e 1q`" ; then
7 echo "$0: `echo "$i" | sed -e "s/$r/^M/" -e 1q`^J...: contains line feed" 1>&2
8 - elif echo "$i" | grep "$r" > /dev/null ; then
9 + elif echo "$i" | ggrep "$r" > /dev/null ; then
10 echo "$0: `echo "$i" | sed -e "s/$r.*//"`^M...: contains carriage return" 1>&2
11 elif test -n "$i" ; then
12 - if echo "$i" | grep -E "^--$l=|^[A-Z][A-Z0-9_]*[^_]=" > /dev/null ; then
13 + if echo "$i" | ggrep -E "^--$l=|^[A-Z][A-Z0-9_]*[^_]=" > /dev/null ; then
14 n=`echo "$i" | sed -e "s$r^-*$r$r" -e "s$r=.*$r$r" | sed -e "s/-/_/g"`
15 - if grep -E "^$n$w:?=" Makefile > /dev/null ; then
16 + if ggrep -E "^$n$w:?=" Makefile > /dev/null ; then
17 cp -f Makefile Makefile.$$
18 sed -e "s$r^\($n$w:*=$w\).*$r\1`echo "$i" | sed -e "s$r^[^=]*=$r$r"`$r" Makefile.$$ > Makefile
19 - grep -E "^$n$w:?=" Makefile /dev/null
20 + ggrep -E "^$n$w:?=" Makefile /dev/null
21 else
22 echo "$0: $n: not found in Makefile" 1>&2
23 fi