#!/bin/sh
# WARNING: This file was auto-generated. Do not edit!
CC='cc -O2 -DPOSIX -c'
LD='cc -s'
echo 'main="$1"; shift'
echo exec "$LD" '-o "$main" "$main".o ${1+"$@"}'