Allow gdb/openocd in /usr/local (#5829)
Allow gdb/openocd in /usr/local (#5829)


Microsoft/pxt,Microsoft/pxt,switch-education/pxt,switch-education/pxt,switch-education/pxt,Microsoft/pxt,switch-education/pxt,Microsoft/pxt,Microsoft/pxt,switch-education/pxt