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