1#!/bin/sh
2case "$1" in
3--report|-r|--version|-qV|--quiet-version|--help)
4	: # nothing to do here
5	;;
6*)
7	[ dist/plugins-cfg/plugins.def.cfg -nt ./plugins.cfg ] && rm -f plugins.cfg
8	./configure-plugins $*
9	;;
10esac
11