# assume a correct target input: this should always be the case
# in the context of midipix_build; then, for compatibility, output
# the target name.

echo "$1"