making formatting optional

Change-Id: Ic2d0d052b110ae1760cb1887f0c948efc4dd3910
This commit is contained in:
chmielew
2019-12-18 16:07:14 +01:00
parent ff30a66624
commit cf02ada7a1

View File

@@ -873,7 +873,9 @@ if(EXISTS ${NEO_SOURCE_DIR}/../internal)
endif(EXISTS ${NEO_SOURCE_DIR}/../internal)
add_subdirectory_unique(scripts/lint)
add_subdirectory_unique(scripts/format)
if(EXISTS scripts/format)
add_subdirectory_unique(scripts/format)
endif()
configure_file(config.h.in ${NEO_BUILD_DIR}/config.h)
if(WIN32 AND NOT IGDRCL__IGC_FOUND)