summaryrefslogtreecommitdiff
path: root/distro-configs/Jenkins/Win32_dev_master.conf
AgeCommit message (Expand)Author
2021-11-18make Jenkins dev builds use --enable-dbgutil, not just debugLuboš Luňák
2021-05-26fix jenkins tinderboxes config after 15ab55c092e0b474827abe104b73c5bfab6ef28cChristian Lohmaier
2021-05-18make --disable-odk the defaultNoel Grandin
2020-09-11use 32bit configure flags for 32bit windows jenkins TBChristian Lohmaier
2015-08-11prepare conf files for tweaking jenkins from core.git directlyNorbert Thiebaud