#! /bin/bash

"$cmd_target_cxx" $*