fix botched merge

This commit is contained in:
Zack Koppert 2020-07-06 08:28:19 -07:00 committed by GitHub
parent 2bf3e5a8f6
commit 3b6b911d7d
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -105,7 +105,7 @@ function GetValidationInfo() {
$VALIDATE_PROTOBUF || -n \
$VALIDATE_OPENAPI || -n \
$VALIDATE_KOTLIN || -n \
$VALIDATE_EDITORCONFIG ]]; then
$VALIDATE_EDITORCONFIG ]] || -n \
$VALIDATE_HTML ]]; then
ANY_SET="true"
fi