diff options
Diffstat (limited to 'distro-configs')
-rw-r--r-- | distro-configs/Jenkins/Win32_dev_master.conf | 1 | ||||
-rw-r--r-- | distro-configs/Jenkins/Win32_rel_master.conf | 2 |
2 files changed, 3 insertions, 0 deletions
diff --git a/distro-configs/Jenkins/Win32_dev_master.conf b/distro-configs/Jenkins/Win32_dev_master.conf index dfc858b7c145..529ce926b229 100644 --- a/distro-configs/Jenkins/Win32_dev_master.conf +++ b/distro-configs/Jenkins/Win32_dev_master.conf @@ -1 +1,2 @@ +--host=i686-pc-cygwin --enable-debug diff --git a/distro-configs/Jenkins/Win32_rel_master.conf b/distro-configs/Jenkins/Win32_rel_master.conf index e69de29bb2d1..0a894148ef87 100644 --- a/distro-configs/Jenkins/Win32_rel_master.conf +++ b/distro-configs/Jenkins/Win32_rel_master.conf @@ -0,0 +1,2 @@ +--host=i686-pc-cygwin + |