diff options
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 12 |
1 files changed, 12 insertions, 0 deletions
@@ -6553,6 +6553,7 @@ echo "$as_me: error: run ./configure --with-plugins=..." >&2;} PLUGIN_PPP="yes" PLUGIN_PROC_STAT="yes" PLUGIN_PYTHON=$with_python + PLUGIN_SAMPLE="yes" PLUGIN_SETI="yes" PLUGIN_STATFS="yes" PLUGIN_UNAME="yes" @@ -6608,6 +6609,9 @@ echo "$as_me: error: run ./configure --with-plugins=..." >&2;} python) PLUGIN_PYTHON=$val ;; + sample) + PLUGIN_SAMPLE=$val + ;; seti) PLUGIN_SETI=$val ;; @@ -7474,6 +7478,14 @@ _ACEOF fi fi fi +if test "$PLUGIN_SAMPLE" = "yes"; then + PLUGINS="$PLUGINS plugin_sample.o" + +cat >>confdefs.h <<\_ACEOF +#define PLUGIN_SAMPLE 1 +_ACEOF + +fi if test "$PLUGIN_SETI" = "yes"; then PLUGINS="$PLUGINS plugin_seti.o" |