[mini] Rename mini_parse_debug_option's argument to match the header file (and match...
authorRolf Bjarne Kvinge <rolf@xamarin.com>
Fri, 8 Jan 2016 17:34:57 +0000 (18:34 +0100)
committerRolf Bjarne Kvinge <rolf@xamarin.com>
Fri, 8 Jan 2016 17:36:14 +0000 (18:36 +0100)
commitda51b1c42774e1992aef7a304da990775d2e0137
tree27269358795d71d41d25b105052b5d6bcf8ad8f8
parentc9faf02f6ebc6fe6f2705e9f28d9fcc0cf3e4a4d
[mini] Rename mini_parse_debug_option's argument to match the header file (and match better the usage).
mono/mini/mini-runtime.c