rename variable

This commit is contained in:
Sébastien Loriot
2019-01-15 13:22:39 +01:00
parent 59823772fd
commit c606cde260
@@ -90,7 +90,7 @@ else()
message(FATAL_ERROR "Cannot extract CGAL version number.")
endif()
set(FILTER_PACKAGES False)
set(FILTER_GPL_PACKAGES False)
if (DEFINED GPL_PACKAGE_LIST)
set(FILTER_GPL_PACKAGES True)
if(NOT EXISTS ${GPL_PACKAGE_LIST})