#!/bin/sh
make ${PLUGIN_OPTIONS} ${PLUGIN_TARGETS/,/ }