diff options
Diffstat (limited to 'distro-configs/Jenkins/Win32_dev_master.conf')
-rw-r--r-- | distro-configs/Jenkins/Win32_dev_master.conf | 1 |
1 files changed, 1 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 |