#!/bin/sh # WARNING: This file was auto-generated. Do not edit! main="$1"; shift exec cc -o "$main" "$main".o ${1+"$@"}