diff options
Diffstat (limited to 'editline/configure')
| -rwxr-xr-x | editline/configure | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/editline/configure b/editline/configure index 9dccffd0f..7265fe020 100755 --- a/editline/configure +++ b/editline/configure @@ -895,8 +895,7 @@ case "${host}" in ABI="elf" ;; *-*-linux* | *cygwin*) - cyg="$(echo ${host} | sed -e c\cygwin)" - if [ ${cyg} = cygwin ]; then \ + if echo ${host} | grep -q cygwin ; then \ echo "cygwin detected"; \ S_CFLAGS=""; \ echo "/* cygdef.h. Generated automatically by configure. */ |