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