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


syntax highlighted by Code2HTML, v. 0.9.1