#!/bin/sh -e
"%%CC%%" "$@"
