diff options
-rw-r--r-- | config/ChangeLog | 4 | ||||
-rw-r--r-- | config/plugins.m4 | 11 |
2 files changed, 15 insertions, 0 deletions
diff --git a/config/ChangeLog b/config/ChangeLog index e1ca63e7471..d2b51c3ce5e 100644 --- a/config/ChangeLog +++ b/config/ChangeLog @@ -1,3 +1,7 @@ +2009-05-26 Rafael Avila de Espindola <espindola@google.com> + + * plugins.m4: New. + 2009-05-12 Alexandre Oliva <aoliva@redhat.com> * multi.m4: Save CXX, GFORTRAN and GCJ in config.status. diff --git a/config/plugins.m4 b/config/plugins.m4 new file mode 100644 index 00000000000..7ee8412aa37 --- /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]) +]) |