#!/bin/sh # # Hooks to add custom options to the configure script. # plugin_usage() { : # Do nothing cat <