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