add configs for new gerrit build under jenkins

Change-Id: I2ba40b1b1a3d35bc851e675d87fcffc1adfdff0f
2016-07-08 17:45:03 -05:00
parent 934552238f
commit bc02dff0c6
4 changed files with 6 additions and 0 deletions
--- a/distro-configs/Jenkins/linux_clang_dbgutil_64.conf
+++ b/distro-configs/Jenkins/linux_clang_dbgutil_64.conf
@@ -0,0 +1,2 @@
+--enable-dbgtuil
+--enable-compiler-plugins
--- a/distro-configs/Jenkins/linux_gcc_release_64
+++ b/distro-configs/Jenkins/linux_gcc_release_64
@@ -0,0 +1 @@
+
--- a/distro-configs/Jenkins/macosx_clang_dbgutil
+++ b/distro-configs/Jenkins/macosx_clang_dbgutil
@@ -0,0 +1 @@
+--enable-dbgutil
--- a/distro-configs/Jenkins/windows_msc_dbgutil_32
+++ b/distro-configs/Jenkins/windows_msc_dbgutil_32
@@ -0,0 +1,2 @@
+--enable-dbgutil
+--disable-64-bit