[P4Testgen] Fix accidental system file categorization. (#4278)

* Fix accidental system file categorization. * Comments.
p4lang · Dec 11, 2023 · 0f25f9d · 0f25f9d
1 parent 25b5957
commit 0f25f9d
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/backends/p4tools/common/CMakeLists.txt b/backends/p4tools/common/CMakeLists.txt
@@ -45,6 +45,9 @@ target_link_libraries(
 target_include_directories(
   p4tools-common
   SYSTEM BEFORE PUBLIC ${P4TOOLS_Z3_INCLUDE_DIR}
+)
+target_include_directories(
+  p4tools-common
   PUBLIC "${CMAKE_BINARY_DIR}/common"
   PUBLIC "${P4C_SOURCE_DIR}"
   PUBLIC "${P4C_BINARY_DIR}"