diff options
-rw-r--r-- | distro-configs/Jenkins/windows_msc_dbgutil_32 | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/distro-configs/Jenkins/windows_msc_dbgutil_32 b/distro-configs/Jenkins/windows_msc_dbgutil_32 index ecffe0669577..b7827644df9f 100644 --- a/distro-configs/Jenkins/windows_msc_dbgutil_32 +++ b/distro-configs/Jenkins/windows_msc_dbgutil_32 @@ -1,6 +1,5 @@ --host=i686-pc-cygwin --enable-dbgutil ---disable-symbols --disable-dependency-tracking --enable-odk --disable-online-update |