#!/bin/sh
echo environment:
env
make ${PLUGIN_OPTIONS} ${PLUGIN_TARGETS/,/ }