Merge pull request #1673 from ejohnstown/configure-update

Yet Another Configure Update
pull/1680/head
toddouska 2018-07-13 11:55:08 -07:00 committed by GitHub
commit 223c71b96c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 2 deletions

View File

@ -4266,9 +4266,9 @@ for option in $OPTION_FLAGS; do
continue
fi
# allow user to igonore system options
# allow user to ignore system options
ignoresys=no
if [[[ $noequalsign == _* ]]] ;
if test "$noequalsign = _*"
then
ignoresys=yes
echo "#ifndef WOLFSSL_OPTIONS_IGNORE_SYS" >> $OPTION_FILE