Home | History | Annotate | Download | only in gdb

Lines Matching refs:maybe_plugins

4786   maybe_plugins=no
4795  maybe_plugins=yes
4808  maybe_plugins=yes
4819          if test "$maybe_plugins" != "yes" ; then
4824   plugins=$maybe_plugins