diff options
author | nickc <nickc@138bc75d-0d04-0410-961f-82ee72b054a4> | 2009-05-27 16:31:26 +0000 |
---|---|---|
committer | nickc <nickc@138bc75d-0d04-0410-961f-82ee72b054a4> | 2009-05-27 16:31:26 +0000 |
commit | 666cc36433f1388b3cf43a79e50adae30b7c273e (patch) | |
tree | e5cbcd97e814a11c4080b313a50cdb54af07c13d /config/plugins.m4 | |
parent | 6cbeacbbcce5571202952169d3d9c71a202b15fd (diff) | |
download | gcc-666cc36433f1388b3cf43a79e50adae30b7c273e.tar.gz |
(Synchronize with addition made to binutils sources):
* plugins.m4: New.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@147918 138bc75d-0d04-0410-961f-82ee72b054a4
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 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]) +]) |