+if [[ "$toolname" == "g++" ]]; then
+ COMPILER=$_CXX
+ _libs="-lc++ $_libs"
+elif [[ "$toolname" == "gcc" ]]; then
+ COMPILER=$_CC
+else
+ echo "ERROR: Unknown tool name $toolname" >&2
+ exit 1
+fi
+
+if [[ "x$_verarg" != "x" ]]; then
+ if [[ "x$_actas" == "xld" ]]; then
+ run $_LD $_miscargs $_verarg
+ else
+ run $_CC $_miscargs $_verarg
+ fi
+ exit $?
+fi
+