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" | 
