Home | History | Annotate | Download | only in gdb

Lines Matching refs:maybe_plugins

4787   maybe_plugins=no
4796  maybe_plugins=yes
4809  maybe_plugins=yes
4820          if test "$maybe_plugins" != "yes" ; then
4825   plugins=$maybe_plugins