diff --git a/tools/scan_build.supp b/tools/scan_build.supp new file mode 100644 index 0000000..3769169 --- /dev/null +++ b/tools/scan_build.supp @@ -0,0 +1,2 @@ +/usr/include/eigen3 +build/maliput_drake/include