diff options
| author | Nick Clifton <nickc@redhat.com> | 2009-05-27 16:29:55 +0000 |
|---|---|---|
| committer | Nick Clifton <nickc@redhat.com> | 2009-05-27 16:29:55 +0000 |
| commit | 5691d22d50690ece26f3b579f29be875336b8b03 (patch) | |
| tree | a663ba1b6f54cf9ad14b9e7a7f931f319fe431fd /config/plugins.m4 | |
| parent | ff2390383ba80b170776e9682e036943ab095d9b (diff) | |
| download | gdb-5691d22d50690ece26f3b579f29be875336b8b03.zip gdb-5691d22d50690ece26f3b579f29be875336b8b03.tar.gz gdb-5691d22d50690ece26f3b579f29be875336b8b03.tar.bz2 | |
* plugins.m4: New.
* aclocal.m4: Include ../config/plugins.m4.
* configure.in: Use AC_PLUGINS.
* configure: Regenerate.
* Makefile.in: Regenerate.
* doc/Makefile.in: Regenerate.
Diffstat (limited to 'config/plugins.m4')
| -rw-r--r-- | config/plugins.m4 | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/config/plugins.m4 b/config/plugins.m4 new file mode 100644 index 0000000..7ee8412 --- /dev/null +++ b/config/plugins.m4 @@ -0,0 +1,11 @@ +AC_DEFUN([AC_PLUGINS], +[ +AC_ARG_ENABLE([plugins], +AS_HELP_STRING([--enable-plugins], [Enable support for plugins (defaults no)]), +[case "${enableval}" in + yes | "") plugins=yes ;; + no) plugins=no ;; + *) plugins=yes ;; + esac], +[plugins=no]) +]) |