Merge pull request #134 from senior-zero/fix-main/github/gnu_line_marker

Fix gnu line marker warning
This commit is contained in:
Georgy Evtushenko
2023-06-30 14:44:24 +04:00
committed by GitHub

View File

@@ -57,6 +57,7 @@ else()
nvbench_add_cxx_flag(nvbench.build_interface INTERFACE "-Wunused-parameter")
nvbench_add_cxx_flag(nvbench.build_interface INTERFACE "-Wvla")
nvbench_add_cxx_flag(nvbench.build_interface INTERFACE "-Wgnu")
nvbench_add_cxx_flag(nvbench.build_interface INTERFACE "-Wno-gnu-line-marker") # WAR 3916341
if (NVBench_ENABLE_WERROR)
nvbench_add_cxx_flag(nvbench.build_interface INTERFACE "-Werror")