diff --git a/Scripts/check-examples b/Scripts/check-examples index 72249b39..aa62febf 100755 --- a/Scripts/check-examples +++ b/Scripts/check-examples @@ -76,7 +76,7 @@ defaultCommand= defaultExit= defaultLang= useHeadings=0 -defOptions="--function-syntax:4 --use-basename-for-filename --unicode-char:false" +defOptions="--function-syntax:4 --use-basename-for-filename --unicode-char:false --allow-warnings" legacyOptions="-functionSyntax:4 -useBaseNameForFileName" while getopts 'md:x:l:' opt; do