Merge pull request #1596 from 50ty/patch-1

IndexOfHideLabel is never used
This commit is contained in:
Martin Hořeňovský 2019-04-10 09:31:00 +02:00 committed by GitHub
commit 6bc5d172ee
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -155,7 +155,6 @@ function(ParseFile SourceFile TestTarget)
list(APPEND Labels ${Tags}) list(APPEND Labels ${Tags})
list(FIND Labels "!hide" IndexOfHideLabel)
set(HiddenTagFound OFF) set(HiddenTagFound OFF)
foreach(label ${Labels}) foreach(label ${Labels})
string(REGEX MATCH "^!hide|^\\." result ${label}) string(REGEX MATCH "^!hide|^\\." result ${label})