diff options
Diffstat (limited to 'main/editline/Makefile.in')
| -rw-r--r-- | main/editline/Makefile.in | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/main/editline/Makefile.in b/main/editline/Makefile.in index 4b5b6dd2e..112b68b64 100644 --- a/main/editline/Makefile.in +++ b/main/editline/Makefile.in @@ -2,11 +2,9 @@ # Generic Makefile for libedit. # -GREP=@GREP@ - OSTYPE=$(shell uname -s) define cyg_subst_sys - if uname -s | ${GREP} -qi cygwin; then \ + if uname -s | grep -i cygwin > /dev/null; then \ cat $@ | sed -e s/"sys\.h"/"config.h"/g > $@.copy; \ mv --force $@.copy $@; \ fi |