Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
We should explicitly set the version of mi to use. Until recently mi == mi2, but with the recent introduction of mi3 as the default we need to be explicit. The other place that specifies interpreter is explicit about version and includes an important comment on the subject https://github.com/eclipse-cdt/cdt/blob/1590791e76a58ead4d2d7481a5e9a0ff5f83dfab/dsf-gdb/org.eclipse.cdt.dsf.gdb/src/org/eclipse/cdt/dsf/gdb/service/GDBBackend.java#L189-L191 Part of eclipse-cdt#816
- Loading branch information